Ran
|
Files
105
|
Run time
7s
|
Badge
README BADGES
|
push
travis-ci
7449 of 14513 relevant lines covered (51.33%)
392.15 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/solvefeatures.h | 122 | 1 | 0 | 1 | 0.0 | |
0.0 | src/propbyforgraph.h | 163 | 39 | 0 | 39 | 0.0 | |
0.0 | src/simplefile.h | 168 | 58 | 0 | 58 | 0.0 | |
0.0 | src/gatefinder.h | 318 | 30 | 0 | 30 | 0.0 | |
0.0 | src/features_calc.h | 79 | 4 | 0 | 4 | 0.0 | |
0.0 | src/completedetachreattacher.h | 91 | 5 | 0 | 5 | 0.0 | |
0.0 | src/clauseusagestats.h | 74 | 7 | 0 | 7 | 0.0 | |
0.0 | src/clausedumper.h | 96 | 6 | 0 | 6 | 0.0 | |
0.0 | src/cleaningstats.h | 114 | 15 | 0 | 15 | 0.0 | |
0.0 | src/sqlstats.h | 92 | 2 | 0 | 2 | 0.0 |