Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
19 of 19 new or added lines in 4 files covered. (100.0%)
5313 of 13708 relevant lines covered (38.76%)
13651.27 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
453 | arrays | Merge remote-tracking branch 'origin/master' into arrays | push | BrunoDutertre | travis-ci | pending completion | |
446 | arrays | simplifying printout | push | dddejan | travis-ci | pending completion | |
445 | arrays | Added array example | push | caballa | travis-ci | pending completion | |
443 | arrays | Some review cleanup and updates to array code. | push | dddejan | travis-ci | pending completion | |
442 | arrays | Added array tests | push | caballa | travis-ci | pending completion | |
441 | arrays | Merged master branch in | push | caballa | travis-ci | pending completion | |
440 | arrays | [NEW] support for SMT arrays in MCMT. Currently only back-end support for yices. TODO: mathsat and z3. | push | caballa | travis-ci | pending completion |