Ran
|
Files
97
|
Run time
3s
|
Badge
README BADGES
|
push
travis-ci
8364 of 13155 relevant lines covered (63.58%)
1169161.21 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/completedetachreattacher.h | 86 | 3 | 0 | 3 | 0.0 | |
0.0 | src/sqlstats.h | 118 | 2 | 0 | 2 | 0.0 | |
0.0 | src/clauseusagestats.h | 74 | 1 | 0 | 1 | 0.0 | |
0.0 | src/propbyforgraph.h | 151 | 33 | 0 | 33 | 0.0 | |
0.0 | src/streambuffer.h | 191 | 54 | 0 | 54 | 0.0 | |
1.01 | src/completedetachreattacher.cpp | 227 | 99 | 1 | 98 | 96.0 | |
1.49 | src/solvefeatures.cpp | 117 | 67 | 1 | 66 | 96.0 | |
2.39 | src/bva.cpp | 850 | 418 | 10 | 408 | 330.0 | |
2.94 | src/reducedb.cpp | 304 | 136 | 4 | 132 | 291.0 | |
5.0 | src/bva.h | 176 | 20 | 1 | 19 | 2120.0 |