17451k
/
eventb-to-txt
99%
master: 98%
master: 98%
|
Repo Added
|
Files
6
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH v1.1
push
travis-ci
477 of 482 relevant lines covered (98.96%)
2.97 hits per line
Relevant lines Covered
482
RELEVANT LINES
477
COVERED LINES
2.97
HITS PER LINE
Source Files on v1.1
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 29 | v1.1 | Change print order for merged models | push |  17451k |
travis-ci | pending completion | |
| 27 | v1.1 | Change print order for merged models | push | 17451k |
travis-ci | pending completion |