msoos
/
cryptominisat
64%
master: 36%
master: 36%
|
Repo Added
|
Files
588
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH scalmc
push
travis-ci
11 of 11 new or added lines in 2 files covered. (100.0%)
8331 of 13119 relevant lines covered (63.5%)
1173819.46 hits per line
Relevant lines Covered
13119
RELEVANT LINES
8331
COVERED LINES
1173819.46
HITS PER LINE
Source Files on scalmc
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2095 | scalmc | Allowing more precise breaking of burst | push |  msoos |
travis-ci | pending completion | |
| 2050 | scalmc | Ignore weights | push | msoos |
travis-ci | pending completion | |
| 2049 | scalmc | Allow breaking burst search | push | msoos |
travis-ci | pending completion | |
| 2039 | scalmc | Allow messing up the polarity | push | msoos |
travis-ci | pending completion | |
| 2038 | scalmc | Making solverconf exposed | push | msoos |
travis-ci | pending completion |