Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
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
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
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 |