msoos
/
cryptominisat
/
2304
36%
|
Ran
|
Jobs
1
|
Files
167
|
Run time
5min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
msoos10726 of 18259 relevant lines covered (58.74%)
93307.37 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
54.7 |
-0.05% | src/solver.cpp |
| 2 |
96.55 |
0.17% | src/Vec.h |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 13 | 2304.13 (CMS_CONFIG=COVERAGE) | 167 |
58.74 |
Travis Job 2304.13 |
