msoos
/
cryptominisat
/
2306
36%
|
Ran
|
Jobs
1
|
Files
167
|
Run time
10s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
msoos3 of 3 new or added lines in 1 file covered. (100.0%)
10730 of 18266 relevant lines covered (58.74%)
93271.93 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
44.25 |
0.03% | src/searcher.cpp |
| 24 |
62.43 |
0.04% | src/cryptominisat.cpp |
| 281 |
54.6 |
-0.03% | src/solver.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 23 | 2306.23 (CMS_CONFIG=COVERAGE) | 167 |
58.74 |
Travis Job 2306.23 |
