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 |
100.0 |
src/clause.h | |
| 9 |
100.0 |
src/searcher.cpp |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
src/searcher.cpp | |
| 4 |
100.0 |
src/reducedb.cpp | |
| 29 |
100.0 |
src/clause.h | |
| 332 |
100.0 |
src/solver.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 15 | 1146.15 (CMS_CONFIG=COVERAGE) | 0 |
51.46 |
Travis Job 1146.15 |
Source Files on build 1146
Detailed source file information is not available for this build.