SRI-CSL
/
sally
34%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
chc
branch: chc
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
5288 of 15364 relevant lines covered (34.42%)
12013.78 hits per line
Relevant lines Covered
15364
RELEVANT LINES
5288
COVERED LINES
12013.78
HITS PER LINE
Source Files on chc
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 482 | chc | Merge branch 'master' into chc | push |  dddejan |
travis-ci | pending completion | |
| 481 | chc | update mathsat5 to look for static first | push | dddejan |
travis-ci | pending completion | |
| 480 | chc | trying to fix the lets | push | dddejan |
travis-ci | pending completion | |
| 479 | chc | no empty symbols | push | dddejan |
travis-ci | pending completion | |
| 478 | chc | update the parser | push | dddejan |
travis-ci | pending completion | |
| 437 | chc | files | push | dddejan |
travis-ci | pending completion | |
| 436 | chc | basic frame for CHC parsing | push | dddejan |
travis-ci | pending completion |