dreal
/
dreal3
55%
|
Repo Added
|
Files
44
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
push
travis-ci
507 of 927 relevant lines covered (54.69%)
1.15 hits per line
Relevant lines Covered
927
RELEVANT LINES
507
COVERED LINES
1.15
HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 62 | master | fix(CMakeLists.txt): do not use '-static-libgcc' option for Clang in static build | push |  soonhokong |
travis-ci | pending completion | |
| 12 | master | fix(CMakeLists.txt): glog does not depend on gflags | push | soonhokong |
travis-ci | pending completion | |
| #6 | master | feat(opensmt/smtsolver/CoreSMTSolver): short SAT functionality | push | Soonho Kong | travis-ci | pending completion | |
| #5 | master | Create contribution.md | push | soonhokong |
travis-ci | pending completion | |
| #4 | master | tests: revise CMakeLists.txt files for nra and nra_ode dirs | push | soonhokong |
travis-ci | pending completion | |
| #3 | master | fix(cmake/Modules/CodeCoverage.cmake): debug build check | push | soonhokong |
travis-ci | pending completion | |
| #2 | master | fix(cmake/Modules/CodeCoverage.cmake): debug build check | push | Soonho Kong | travis-ci | pending completion | |
| #1 | [no commit message] | push | pending completion |