Ran
|
Jobs
1
|
Files
488
|
Run time
8s
|
Badge
README BADGES
|
push
github
98 of 98 new or added lines in 13 files covered. (100.0%)
11553 of 12386 relevant lines covered (93.27%)
1.69 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
83.33 |
datastructures/pta/src/main/java/de/learnlib/datastructure/pta/wrapper/MealyWrapper.java | |
3 |
92.19 |
-0.06% | datastructures/pta/src/main/java/de/learnlib/datastructure/pta/RedBlueMerge.java |
5 |
90.43 |
-0.88% | datastructures/pta/src/main/java/de/learnlib/datastructure/pta/BasePTA.java |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
90.43 |
-0.88% | datastructures/pta/src/main/java/de/learnlib/datastructure/pta/BasePTA.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 6611855081.1 | 488 |
93.27 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|