SRI-CSL
/
sally
64%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
frontend
branch: frontend
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
8501 of 13234 relevant lines covered (64.24%)
15456.02 hits per line
Relevant lines Covered
13234
RELEVANT LINES
8501
COVERED LINES
15456.02
HITS PER LINE
Source Files on frontend
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 272 | frontend | parametric inductive example | push |  xapantu |
travis-ci | pending completion | |
| 270 | frontend | Add parametrized and inductive mutex example | push | xapantu |
travis-ci | pending completion | |
| 269 | frontend | Fix store output, cardinality parsing | push | xapantu |
travis-ci | pending completion | |
| 265 | frontend | missing TERM_STORE boilerplate code | push | xapantu |
travis-ci | pending completion | |
| 262 | frontend | merge | push | xapantu |
travis-ci | pending completion | |
| 260 | frontend | update om | push | xapantu |
travis-ci | pending completion | |
| 258 | frontend | update om | push | xapantu |
travis-ci | pending completion | |
| 256 | frontend | more parametric tests (will fail as the normal solver does not accept it) | push | xapantu |
travis-ci | pending completion | |
| 254 | frontend | declare the bounds of the range before declaring the range | push | xapantu |
travis-ci | pending completion | |
| 252 | frontend | (declare-range) for Arrays index | push | xapantu |
travis-ci | pending completion |