SRI-CSL
/
sally
39%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
mcsat-hybrid
branch: mcsat-hybrid
CHANGE BRANCH
x
CHANGE BRANCH
x
travis-ci
92 of 92 new or added lines in 2 files covered. (100.0%)
5280 of 13663 relevant lines covered (38.64%)
13568.25 hits per line
Relevant lines Covered
13663
RELEVANT LINES
5280
COVERED LINES
13568.25
HITS PER LINE
Source Files on mcsat-hybrid
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 473 | mcsat-hybrid | typo | Pull #59 |  web-flow |
travis-ci | pending completion | |
| 472 | mcsat-hybrid | typo | push |  dddejan |
travis-ci | pending completion | |
| 471 | mcsat-hybrid | trying out dpllt/mcsat hybrid solver | push | dddejan |
travis-ci | pending completion |