SRI-CSL
/
sally
39%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
arrays
branch: arrays
CHANGE BRANCH
x
CHANGE BRANCH
x
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
Relevant lines Covered
13708
RELEVANT LINES
5313
COVERED LINES
13651.27
HITS PER LINE
Source Files on arrays
Detailed source file information is not available for this build.
Recent builds
| 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 |