msoos
/
cryptominisat
59%
master: 36%
master: 36%
|
Repo Added
|
Files
588
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH scalmc-simpsat2
push
travis-ci
10631 of 18021 relevant lines covered (58.99%)
107908.3 hits per line
Relevant lines Covered
18021
RELEVANT LINES
10631
COVERED LINES
107908.3
HITS PER LINE
Source Files on scalmc-simpsat2
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2164 | scalmc-simpsat2 | Merge branch 'master' into scalmc-simpsat2 | push |  msoos |
travis-ci | pending completion | |
| 2158 | scalmc-simpsat2 | Merge branch 'master' into scalmc-simpsat2 | push | msoos |
travis-ci | pending completion | |
| 2155 | scalmc-simpsat2 | Use likely/unlikely for speed in propagation | push | msoos |
travis-ci | pending completion | |
| 2154 | scalmc-simpsat2 | Merge branch 'master' into scalmc-simpsat2 | push | msoos |
travis-ci | pending completion | |
| 2152 | scalmc-simpsat2 | Better verbose printing around XORs | push | msoos |
travis-ci | pending completion |