Ran
|
Files
99
|
Run time
7s
|
Badge
README BADGES
|
push
travis-ci
7956 of 13037 relevant lines covered (61.03%)
830444.48 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/completedetachreattacher.h | 86 + 86 | 3 + 3 | 0 | 3 + 3 | 0.0 | |
0.0 | src/sqlstats.h | 118 - 331 | 2 - 205 | 0 - 130 | 2 - 75 | 0.0 - 11 | |
0.0 | src/streambuffer.h | 191 + 142 | 54 + 34 | 0 - 12 | 54 + 46 | 0.0 - 1.0 | |
0.0 | src/propbyforgraph.h | 151 + 151 | 33 + 33 | 0 | 33 + 33 | 0.0 | |
0.0 | src/clauseusagestats.h | 74 + 74 | 1 + 1 | 0 | 1 + 1 | 0.0 | |
1.01 | src/completedetachreattacher.cpp | 227 + 227 | 99 + 99 | 1 + 1 | 98 + 98 | 84.0 + 84 | |
1.49 | src/solvefeatures.cpp | 117 + 93 | 67 + 52 | 1 - 14 | 66 + 66 | 84.0 + 83 | |
2.76 | src/reducedb.cpp | 321 + 236 | 145 + 110 | 4 - 31 | 141 + 141 | 285.0 - 1633 | |
5.0 | src/bva.h | 176 + 176 | 20 + 20 | 1 + 1 | 19 + 19 | 2096.0 + 2096 | |
11.11 | src/shareddata.h | 93 + 44 | 18 - 10 | 2 - 26 | 16 + 16 | 25.0 + 20 |