Ran
|
Files
103
|
Run time
4s
|
Badge
README BADGES
|
push
travis-ci
7389 of 12920 relevant lines covered (57.19%)
189654.94 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/clausedumper.h | 91 | 6 | 0 | 6 | 0.0 | |
0.0 | src/completedetachreattacher.h | 86 - 101 | 3 - 95 | 0 - 28 | 3 - 67 | 0.0 - 3 | |
0.0 | src/clauseusagestats.h | 74 | 2 | 0 | 2 | 0.0 | |
0.0 | src/simplefile.h | 174 + 121 | 61 + 31 | 0 - 5 | 61 + 36 | 0.0 - 1.0 | |
0.0 | src/propbyforgraph.h | 151 + 139 | 33 + 28 | 0 - 5 | 33 + 33 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 191 + 152 | 55 + 34 | 0 - 12 | 55 + 46 | 0.0 - 25 | |
0.0 | src/sqlstats.h | 106 | 2 | 0 | 2 | 0.0 | |
0.0 | src/features_calc.h | 80 - 1440 | 4 - 747 | 0 - 440 | 4 - 307 | 0.0 - 197 | |
0.0 | src/solvefeatures.h | 121 | 1 | 0 | 1 | 0.0 | |
0.53 | src/features_calc.cpp | 356 | 187 | 1 | 186 | 75.0 |