Ran
|
Jobs
3
|
Files
6
|
Run time
9s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
493 of 501 relevant lines covered (98.4%)
2.95 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
92.31 |
0.0% | eventb_to_txt/__main__.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
2 | 45.2 | 6 |
98.4 |
Travis Job 45.2 | |
3 | 45.3 | 6 |
98.4 |
Travis Job 45.3 | |
4 | 45.4 | 6 |
98.41 |
Travis Job 45.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|