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/b7a62db1fe670b05123fa3b6031497a5fe4317c0">b7a62db1f<a href="https://github.com/msakai/haskell-decision-diagrams/commit/b7a62db1fe670b05123fa3b6031497a5fe4317c0">">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/e9cf5b66db41a9803d3422368bc0860174730d1e">e9cf5b66d</a>">e9cf5b66d</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/b7a62db1fe670b05123fa3b6031497a5fe4317c0"> into 90897da7d">90897da7d</a>
982 of 1115 relevant lines covered (88.07%)
0.88 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 189.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.25 | src/Data/DecisionDiagram/ZDD.hs | 1062 - 31 | 455 - 34 | 397 - 35 | 58 + 1 | 1.0 | |
89.39 | src/Data/DecisionDiagram/BDD.hs | 1096 - 40 | 575 - 30 | 514 - 26 | 61 - 4 | 1.0 | |
92.96 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 194 + 77 | 71 + 38 | 66 + 37 | 5 + 1 | 1.0 |