Ran
|
Jobs
1
|
Files
101
|
Run time
4s
|
Badge
README BADGES
|
push
travis-ci
7344 of 12963 relevant lines covered (56.65%)
153566.42 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
14 | 1688.14 (CMS_CONFIG=COVERAGE) | 101 |
56.65 |
Travis Job 1688.14 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/streambuffer.h | 191 | 54 | 0 | 54 | 0.0 | |
0.0 | src/sqlstats.h | 105 | 2 | 0 | 2 | 0.0 | |
0.0 | src/solvefeatures.h | 121 | 1 | 0 | 1 | 0.0 | |
0.0 | src/simplefile.h | 174 | 38 | 0 | 38 | 0.0 | |
0.0 | src/propbyforgraph.h | 151 | 33 | 0 | 33 | 0.0 | |
0.0 | src/features_calc.h | 80 | 2 | 0 | 2 | 0.0 | |
0.0 | src/completedetachreattacher.h | 86 | 3 | 0 | 3 | 0.0 | |
0.0 | src/clauseusagestats.h | 74 | 1 | 0 | 1 | 0.0 | |
0.0 | src/clausedumper.h | 91 | 6 | 0 | 6 | 0.0 | |
0.53 | src/features_calc.cpp | 356 | 190 | 1 | 189 | 72.0 | |
0.59 | src/clausedumper.cpp | 313 | 169 | 1 | 168 | 72.0 |