dreal
/
dreal4
34%
|
Repo Added
|
Files
77
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
push
travis-ci
Soonho Kong
155 of 1038 branches covered (14.93%)
Branch coverage included in aggregate %.
1172 of 2877 relevant lines covered (40.74%)
4.24 hits per line
Relevant lines Covered
2877
RELEVANT LINES
1172
COVERED LINES
4.24
HITS PER LINE
Source Files on master
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 487 | master | fix(dreal/solver/icp_parallel.cc): Remove debug log | push | Soonho Kong | travis-ci | pending completion | |
| 184 | master | test(dr): Add more optimization benchmark | push | Soonho Kong | travis-ci | pending completion | |
| 151 | master | fix(optimization/nlopt_optimizer.cc): Annotate unused variables | Pull #297 | Soonho Kong | travis-ci | pending completion |