msoos
/
cryptominisat
/
2182
36%
|
Ran
|
Jobs
1
|
Files
167
|
Run time
22min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
msoos10461 of 18054 relevant lines covered (57.94%)
100055.47 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
46.24 |
-0.03% | src/searcher.cpp |
| 1 |
92.72 |
-0.66% | /usr/include/c++/4.8/bits/stl_vector.h |
| 2 |
53.06 |
-0.05% | src/solver.cpp |
| 5 |
25.0 |
-20.83% | src/solverconf.cpp |
| 30 |
82.95 |
-1.7% | src/xorfinder.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 23 | 2182.23 (CMS_CONFIG=COVERAGE) | 167 |
57.94 |
Travis Job 2182.23 |
