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
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
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 |