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
Detailed source file information is not available for this build.
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 |