Ran
|
Jobs
1
|
Files
4
|
Run time
1s
|
Badge
README BADGES
|
push
github-actions
<a href="https://github.com/msakai/haskell-decision-diagrams/commit/<a class=hub.com/msakai/haskell-decision-diagrams/commit/67e7dacf179b471a001443cdeef4245b7d7998db">67e7dacf1<a href="https://github.com/msakai/haskell-decision-diagrams/commit/67e7dacf179b471a001443cdeef4245b7d7998db">">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/<a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/aa05b5eb1b573db27f055c8f6a5e01e1db830847">aa05b5eb1</a>">aa05b5eb1</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/67e7dacf179b471a001443cdeef4245b7d7998db"> into 90897da7d">90897da7d</a>
982 of 1115 relevant lines covered (88.07%)
0.88 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 191.1 | 4 |
88.07 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
35.71 | src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs | 92 | 14 | 5 | 9 | 1.0 | |
87.47 | src/Data/DecisionDiagram/ZDD.hs | 1062 | 455 | 398 + 1 | 57 - 1 | 1.0 | |
89.22 | src/Data/DecisionDiagram/BDD.hs | 1096 | 575 | 513 - 1 | 62 + 1 | 1.0 | |
92.96 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 194 | 71 | 66 | 5 | 1.0 |