dreal
/
dreal4
/
184
34%
|
Ran
|
Jobs
1
|
Files
13
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
Soonho Kong
45 of 56 branches covered (80.36%)
Branch coverage included in aggregate %.
124 of 147 relevant lines covered (84.35%)
10.97 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 3 | 184.3 (COMPILER="--compiler=gcc-5" BUILD_TYPE="-c dbg") | 0 |
83.25 |
Travis Job 184.3 |
