msoos
/
cryptominisat
/
1146
36%
|
Ran
|
Jobs
1
|
Files
105
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
msoos28 of 28 new or added lines in 2 files covered. (100.0%)
7470 of 14517 relevant lines covered (51.46%)
397.43 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 7 |
59.09 |
-0.13% | src/clause.h |
| 9 |
40.76 |
0.56% | src/searcher.cpp |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
40.76 |
0.56% | src/searcher.cpp |
| 4 |
2.45 |
0.03% | src/reducedb.cpp |
| 29 |
59.09 |
-0.13% | src/clause.h |
| 332 |
52.2 |
-0.17% | src/solver.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 15 | 1146.15 (CMS_CONFIG=COVERAGE) | 105 |
51.46 |
Travis Job 1146.15 |
Source Files on build 1146
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|