Ran
|
Files
104
|
Run time
5s
|
Badge
README BADGES
|
push
travis-ci
7474 of 14519 relevant lines covered (51.48%)
403.6 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/sqlstats.h | 105 + 54 | 2 - 10 | 0 - 12 | 2 + 2 | 0.0 - 3 | |
0.0 | src/propbyforgraph.h | 163 + 135 | 39 + 31 | 0 - 8 | 39 + 39 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 182 + 159 | 56 + 52 | 0 - 1 | 56 + 53 | 0.0 - 1.0 | |
0.0 | src/solvefeatures.h | 122 + 117 | 1 | 0 - 1 | 1 + 1 | 0.0 - 1.0 | |
0.0 | src/completedetachreattacher.h | 91 - 479 | 5 - 89 | 0 - 94 | 5 + 5 | 0.0 - 15 | |
0.0 | src/clauseusagestats.h | 74 - 433 | 2 - 75 | 0 - 75 | 2 | 0.0 - 4 | |
0.0 | src/gatefinder.h | 318 + 317 | 30 + 29 | 0 - 1 | 30 + 30 | 0.0 - 1.0 | |
0.0 | src/clausedumper.h | 96 + 83 | 6 + 5 | 0 - 1 | 6 + 6 | 0.0 - 1.0 | |
0.0 | src/features_calc.h | 79 + 38 | 4 + 1 | 0 - 2 | 4 + 3 | 0.0 - 5 | |
0.0 | src/simplefile.h | 173 + 168 | 61 + 60 | 0 - 1 | 61 + 61 | 0.0 - 1.0 |