Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
9893 of 15491 relevant lines covered (63.86%)
15774.94 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
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 |