Ran
|
Files
99
|
Run time
8s
|
Badge
README BADGES
|
push
travis-ci
8354 of 13054 relevant lines covered (64.0%)
1188762.32 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/clauseusagestats.h | 74 - 3 | 1 - 15 | 0 - 12 | 1 - 3 | 0.0 - 4 | |
0.0 | src/propbyforgraph.h | 151 - 245 | 33 - 95 | 0 - 55 | 33 - 40 | 0.0 - 1.0 | |
0.0 | src/completedetachreattacher.h | 86 + 60 | 3 - 6 | 0 - 9 | 3 + 3 | 0.0 - 5 | |
0.0 | src/sqlstats.h | 118 - 332 | 2 - 280 | 0 - 225 | 2 - 55 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 191 - 123 | 54 - 22 | 0 - 67 | 54 + 45 | 0.0 - 1.0 | |
1.01 | src/completedetachreattacher.cpp | 227 + 191 | 99 + 89 | 1 - 7 | 98 + 96 | 84.0 + 83 | |
1.49 | src/solvefeatures.cpp | 117 - 5 | 67 + 17 | 1 - 14 | 66 + 31 | 84.0 + 83 | |
2.39 | src/bva.cpp | 850 + 677 | 418 + 365 | 10 - 21 | 408 + 386 | 328.0 + 281 | |
2.74 | src/reducedb.cpp | 323 + 221 | 146 + 110 | 4 - 31 | 142 + 141 | 288.0 + 287 | |
5.0 | src/bva.h | 176 - 816 | 20 - 312 | 1 - 221 | 19 - 91 | 2120.0 + 2005 |