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
Detailed source file information is not available for this build.
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 | |
| #18 | [no commit message] | push | pending completion | ||||
| #17 | [no commit message] | push | pending completion | ||||
| #16 | [no commit message] | push | pending completion | ||||
| #15 | [no commit message] | push | pending completion | ||||
| #14 | [no commit message] | push | pending completion | ||||
| #13 | [no commit message] | push | pending completion | ||||
| #12 | [no commit message] | push | pending completion |