Repo Added
|
Files
44
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
507 of 927 relevant lines covered (54.69%)
1.15 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
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 |