SRI-CSL
/
sally
65%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
cav2016
branch: cav2016
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
7694 of 11847 relevant lines covered (64.94%)
14669.84 hits per line
Relevant lines Covered
11847
RELEVANT LINES
7694
COVERED LINES
14669.84
HITS PER LINE
Source Files on cav2016
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 112 | cav2016 | negate the property | push |  dddejan |
travis-ci | pending completion | |
| 108 | cav2016 | Merge branch 'master' into cav2016 | push |  dddejan |
travis-ci | pending completion | |
| 107 | cav2016 | disabling unrealistic test case | push | dddejan |
travis-ci | pending completion |