SRI-CSL / sally / 509
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 1239
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
509

push

travis-ci

web-flow 
Merge pull request #62 from SRI-CSL/dreal

Support for dReal as a solver

549 of 549 new or added lines in 10 files covered. (100.0%)

5541 of 13970 relevant lines covered (39.66%)

13387.22 hits per line

Jobs
ID Job ID Ran Files Coverage
3 509.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) 0
39.66
 Travis Job 509.3
Source Files on build 509
Detailed source file information is not available for this build.