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
Detailed source file information is not available for this build.
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 |