Ran
|
Jobs
2
|
Files
104
|
Run time
1114635min
|
Badge
README BADGES
|
push
travis-ci
7446 of 14519 relevant lines covered (51.28%)
400.53 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
15 | 1387.15 (CMS_CONFIG=COVERAGE) | 104 |
51.28 |
Travis Job 1387.15 | |
19 | 1387.19 (COVERITY_SCAN=1 CMS_CONFIG=NORMAL) | 144 |
59.95 |
Travis Job 1387.19 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/sqlstats.h | 105 | 2 | 0 | 2 | 0.0 | |
0.0 | src/simplefile.h | 173 | 61 | 0 | 61 | 0.0 | |
0.0 | src/solvefeatures.h | 122 | 1 | 0 | 1 | 0.0 | |
0.0 | src/completedetachreattacher.h | 91 | 5 | 0 | 5 | 0.0 | |
0.0 | src/clausedumper.h | 96 | 6 | 0 | 6 | 0.0 | |
0.0 | src/gatefinder.h | 318 | 30 | 0 | 30 | 0.0 | |
0.0 | src/propbyforgraph.h | 163 | 39 | 0 | 39 | 0.0 | |
0.0 | src/features_calc.h | 79 | 4 | 0 | 4 | 0.0 | |
0.0 | src/clauseusagestats.h | 74 | 2 | 0 | 2 | 0.0 | |
0.0 | src/streambuffer.h | 182 | 56 | 0 | 56 | 0.0 |