Ran
|
Jobs
1
|
Files
497
|
Run time
27s
|
Badge
Embed ▾
README BADGES
|
push
github
32 of 32 new or added lines in 7 files covered. (100.0%)
11734 of 12573 relevant lines covered (93.33%)
1.69 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
0.0 |
0.0% | filters/statistics/src/main/java/de/learnlib/filter/statistic/learner/RefinementCounterLearner.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6660471831.1 | 497 |
93.33 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|