Ran
|
Files
99
|
Run time
3s
|
Badge
README BADGES
|
push
travis-ci
7715 of 12991 relevant lines covered (59.39%)
154616.24 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/clausedumper.h | 91 + 75 | 6 - 4 | 0 - 2 | 6 - 2 | 0.0 - 878 | |
0.0 | src/streambuffer.h | 191 + 130 | 54 + 27 | 0 | 54 + 27 | 0.0 | |
0.0 | src/completedetachreattacher.h | 86 + 62 | 3 - 11 | 0 - 3 | 3 - 8 | 0.0 - 128 | |
0.0 | src/clauseusagestats.h | 74 + 41 | 1 - 13 | 0 - 5 | 1 - 8 | 0.0 - 38 | |
0.0 | src/propbyforgraph.h | 151 - 51 | 33 - 60 | 0 - 93 | 33 + 33 | 0.0 - 1.0 | |
0.0 | src/sqlstats.h | 112 + 70 | 2 - 3 | 0 - 5 | 2 + 2 | 0.0 - 39 | |
0.0 | src/simplefile.h | 173 + 131 | 38 + 32 | 0 - 5 | 38 + 37 | 0.0 - 2 | |
0.59 | src/clausedumper.cpp | 313 + 291 | 169 + 157 | 1 + 1 | 168 + 156 | 75.0 + 75 | |
1.01 | src/completedetachreattacher.cpp | 227 + 157 | 99 + 74 | 1 - 20 | 98 + 94 | 75.0 + 74 | |
2.76 | src/reducedb.cpp | 321 | 145 | 4 | 141 | 276.0 |