SRI-CSL
/
sally
40%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
dreal
branch: dreal
CHANGE BRANCH
x
CHANGE BRANCH
x
travis-ci
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
Relevant lines Covered
13970
RELEVANT LINES
5541
COVERED LINES
13387.22
HITS PER LINE
Source Files on dreal
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 508 | dreal | disable some tests if dreal not there | Pull #62 |  web-flow |
travis-ci | pending completion | |
| 507 | dreal | disable some tests if dreal not there | push |  dddejan |
travis-ci | pending completion | |
| 506 | dreal | case with no dreal found | push | dddejan |
travis-ci | pending completion | |
| 505 | dreal | Merge branch 'master' into dreal | push | dddejan |
travis-ci | pending completion | |
| 504 | dreal | don't fix boost version, use available | push | dddejan |
travis-ci | pending completion | |
| 501 | dreal | dreal4 install for travis | push | dddejan |
travis-ci | pending completion | |
| 469 | dreal | Attempt to fix a bug when querying the dreal model | push |  BrunoDutertre |
travis-ci | pending completion | |
| 468 | dreal | minor changes | push |  caballa |
travis-ci | pending completion | |
| 466 | dreal | Add tests for dreal | push | caballa |
travis-ci | pending completion | |
| 465 | dreal | dreal unit test | push | dddejan |
travis-ci | pending completion |