Ran
|
Jobs
1
|
Files
4
|
Run time
0s
|
Badge
README BADGES
|
push
github-actions
778 of 894 relevant lines covered (87.02%)
0.87 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 123.1 | 4 |
87.02 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
41.67 | src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs | 81 | 12 | 5 | 7 | 1.0 | |
87.5 | src/Data/DecisionDiagram/BDD.hs | 803 | 456 | 399 | 57 | 1.0 | |
87.71 | src/Data/DecisionDiagram/ZDD.hs | 853 | 407 | 357 | 50 | 1.0 | |
89.47 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 90 | 19 | 17 | 2 | 1.0 |