Ran
|
Jobs
4
|
Files
6
|
Run time
1min
|
Badge
README BADGES
|
push
travis-ci
7 of 7 new or added lines in 3 files covered. (100.0%)
497 of 505 relevant lines covered (98.42%)
3.94 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
94.62 |
0.12% | eventb_to_txt/model.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 51.1 | 6 |
98.42 |
Travis Job 51.1 | |
2 | 51.2 | 6 |
98.42 |
Travis Job 51.2 | |
3 | 51.3 | 6 |
98.42 |
Travis Job 51.3 | |
4 | 51.4 | 6 |
98.43 |
Travis Job 51.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|