Ran
|
Files
99
|
Run time
551min
|
Badge
README BADGES
|
push
travis-ci
8348 of 13054 relevant lines covered (63.95%)
1188761.49 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/clauseusagestats.h | 74 + 35 | 1 - 15 | 0 - 16 | 1 + 1 | 0.0 - 3 | |
0.0 | src/propbyforgraph.h | 151 + 150 | 33 + 33 | 0 | 33 + 33 | 0.0 | |
0.0 | src/completedetachreattacher.h | 86 + 70 | 3 | 0 - 3 | 3 + 3 | 0.0 - 1.0 | |
0.0 | src/sqlstats.h | 118 + 68 | 2 - 22 | 0 - 24 | 2 + 2 | 0.0 - 1.0 | |
0.0 | src/streambuffer.h | 191 - 366 | 54 - 311 | 0 - 365 | 54 + 54 | 0.0 - 1.0 | |
1.01 | src/completedetachreattacher.cpp | 227 + 148 | 99 + 44 | 1 - 54 | 98 + 98 | 84.0 + 83 | |
1.49 | src/solvefeatures.cpp | 117 + 101 | 67 + 57 | 1 - 9 | 66 + 66 | 84.0 + 83 | |
2.39 | src/bva.cpp | 850 + 587 | 418 + 318 | 10 - 72 | 408 + 390 | 328.0 + 326 | |
2.74 | src/reducedb.cpp | 323 + 165 | 146 + 55 | 4 - 78 | 142 + 133 | 288.0 + 237 | |
5.0 | src/bva.h | 176 + 146 | 20 + 4 | 1 - 15 | 19 + 19 | 2120.0 + 2119 |