Ran
|
Jobs
1
|
Files
1022
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
push
github
10719 of 18612 branches covered (57.59%)
28898 of 41577 relevant lines covered (69.5%)
2.98 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
86.67 |
0.0% | org/workcraft/plugins/cflt/ecc/ExhaustiveSearch.java |
3 |
57.14 |
0.0% | org/workcraft/plugins/cflt/Node.java |
6 |
86.05 |
5.61% | org/workcraft/plugins/cflt/ecc/MaxCliqueEnumerator.java |
7 |
92.98 |
0.0% | org/workcraft/plugins/cflt/ecc/SequenceHeuristic.java |
7 |
93.6 |
0.0% | org/workcraft/plugins/cflt/ecc/MaxMinHeuristic.java |
22 |
25.0 |
0.36% | org/workcraft/plugins/cflt/Graph.java |
27 |
2.78 |
0.18% | org/workcraft/plugins/cflt/tools/PetriDrawingTool.java |
30 |
12.86 |
-1.9% | org/workcraft/plugins/cflt/tools/CotreeTool.java |
33 |
2.3 |
0.15% | org/workcraft/plugins/cflt/tools/StgDrawingTool.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 9114080967.1 | 1022 |
69.5 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|