TiloW
/
ocm-validator
/
208
95%
|
Ran
|
Jobs
1
|
Files
29
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
TiloWEnsure Graph Properties Some prequesites need to be fulfilled for the lower bounds to be applicable.
34 of 34 new or added lines in 2 files covered. (100.0%)
792 of 830 relevant lines covered (95.42%)
0.95 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
89.74 |
src/main/java/proof/validator/MainValidator.java |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 208.1 | 29 |
95.42 |
Travis Job 208.1 |
Source Files on build 208
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|