Ran
|
Files
106
|
Run time
5s
|
Badge
README BADGES
|
push
travis-ci
7720 of 14589 relevant lines covered (52.92%)
161406.91 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/simplefile.h | 174 + 124 | 61 + 48 | 0 - 13 | 61 + 61 | 0.0 - 3 | |
0.0 | src/solvefeatures.h | 123 + 97 | 1 - 6 | 0 - 6 | 1 | 0.0 - 1.0 | |
0.0 | src/sqlstats.h | 106 + 64 | 2 - 8 | 0 - 10 | 2 + 2 | 0.0 - 16 | |
0.0 | src/completedetachreattacher.h | 92 - 107 | 5 - 93 | 0 - 98 | 5 + 5 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 182 + 109 | 53 + 52 | 0 - 1 | 53 + 53 | 0.0 - 1.0 | |
0.0 | src/features_calc.h | 80 - 257 | 4 - 67 | 0 - 70 | 4 + 3 | 0.0 - 1076 | |
0.0 | src/clausedumper.h | 97 - 128 | 6 - 52 | 0 - 56 | 6 + 4 | 0.0 - 15 | |
0.0 | src/propbyforgraph.h | 164 - 63 | 39 - 13 | 0 - 52 | 39 + 39 | 0.0 - 57 | |
0.0 | src/hasher.h | 61 + 12 | 14 + 8 | 0 - 6 | 14 + 14 | 0.0 - 112 | |
0.0 | src/gatefinder.h | 319 + 16 | 30 - 130 | 0 - 152 | 30 + 22 | 0.0 - 1.0 |