SRI-CSL
/
sally
64%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
sal
branch: sal
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
9893 of 15491 relevant lines covered (63.86%)
15774.94 hits per line
Relevant lines Covered
15491
RELEVANT LINES
9893
COVERED LINES
15774.94
HITS PER LINE
Source Files on sal
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 420 | sal | fixing destruct | push |  dddejan |
travis-ci | pending completion | |
| 419 | sal | ... | push | dddejan |
travis-ci | pending completion | |
| 418 | sal | moving transformers to system | push | dddejan |
travis-ci | pending completion | |
| 417 | sal | fixing compile errors | push | dddejan |
travis-ci | pending completion | |
| 416 | sal | Add more sanity checks | push |  caballa |
travis-ci | pending completion | |
| 414 | sal | Rename files and expand equality of array var and other term | push | caballa |
travis-ci | pending completion | |
| 413 | sal | Added more transformations - remove array terms: currently only array reads but we need to remove array writes. - remove predicate subtypes. | push | caballa |
travis-ci | pending completion | |
| 411 | sal | Merged branch master into sal | push | caballa |
travis-ci | pending completion |