Ran
|
Files
4
|
Run time
0s
|
Badge
README BADGES
|
push
github-actions
769 of 891 relevant lines covered (86.31%)
0.86 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
41.67 | src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs | 81 | 12 | 5 | 7 | 1.0 | |
86.09 | src/Data/DecisionDiagram/BDD.hs | 784 | 453 | 390 | 63 | 1.0 | |
87.71 | src/Data/DecisionDiagram/ZDD.hs | 843 | 407 | 357 | 50 | 1.0 | |
89.47 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 90 | 19 | 17 | 2 | 1.0 |