workcraft
/
workcraft
/
22992370870
70%
|
Ran
|
Jobs
1
|
Files
1040
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
coverage: 70.008% (+0.3%) from 69.7%
push
github
web-flow11283 of 19635 branches covered (57.46%)
29974 of 42815 relevant lines covered (70.01%)
3.02 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 21 |
0.0 |
0.0% | org/workcraft/plugins/cflt/utils/ExpressionUtils.java |
| 9 |
0.0 |
0.0% | org/workcraft/plugins/cflt/tools/StgDrawingTool.java |
| 8 |
0.0 |
0.0% | org/workcraft/plugins/cflt/tools/PetriDrawingTool.java |
| 6 |
95.83 |
1.79% | org/workcraft/plugins/cflt/algorithms/EdgeCliqueCoverHeuristic.java |
| 5 |
0.0 |
0.0% | org/workcraft/plugins/cflt/utils/EdgeCliqueCoverUtils.java |
| 3 |
91.36 |
0.0% | org/workcraft/plugins/cflt/algorithms/MaxCliqueEnumerator.java |
| 3 |
40.12 |
-1.85% | org/workcraft/plugins/circuit/CircuitPropertyHelper.java |
| 2 |
89.47 |
53.58% | org/workcraft/plugins/cflt/graph/Graph.java |
| 1 |
90.24 |
-2.44% | org/workcraft/formula/ClauseUtils.java |
| 1 |
87.5 |
-12.5% | org/workcraft/plugins/cflt/graph/Edge.java |
| 1 |
95.38 |
95.38% | org/workcraft/plugins/cflt/tools/NodeTraversalTool.java |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 22992370870.1 | 1040 |
70.01 |
GitHub Action Run |
