Ran
|
Files
103
|
Run time
6s
|
Badge
README BADGES
|
push
travis-ci
7388 of 12920 relevant lines covered (57.18%)
189656.52 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/completedetachreattacher.h | 86 + 52 | 3 - 16 | 0 - 7 | 3 - 9 | 0.0 - 1.0 | |
0.0 | src/clausedumper.h | 91 - 61 | 6 - 70 | 0 - 36 | 6 - 34 | 0.0 - 1.0 | |
0.0 | src/propbyforgraph.h | 151 + 125 | 33 + 15 | 0 - 6 | 33 + 21 | 0.0 - 1.0 | |
0.0 | src/features_calc.h | 80 + 78 | 4 + 3 | 0 - 1 | 4 + 4 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 191 + 178 | 55 + 46 | 0 - 3 | 55 + 49 | 0.0 - 1.0 | |
0.0 | src/sqlstats.h | 106 + 95 | 2 - 6 | 0 - 8 | 2 + 2 | 0.0 - 1.0 | |
0.0 | src/simplefile.h | 174 + 137 | 61 + 40 | 0 - 19 | 61 + 59 | 0.0 - 1.0 | |
0.0 | src/solvefeatures.h | 121 + 118 | 1 - 1 | 0 - 2 | 1 + 1 | 0.0 - 1.0 | |
0.0 | src/clauseusagestats.h | 74 + 2 | 2 - 36 | 0 - 17 | 2 - 19 | 0.0 - 4 | |
0.53 | src/features_calc.cpp | 356 + 350 | 187 + 185 | 1 - 1 | 186 + 186 | 75.0 + 74 |