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/613117f7d493a0b081dede2f43f246da080f9a1d">613117f7d<a href="https://github.com/msakai/haskell-decision-diagrams/commit/613117f7d493a0b081dede2f43f246da080f9a1d">">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/7bd93c7f20ecefe0819353475a142ca9cb0adf18">7bd93c7f2</a>">7bd93c7f2</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/613117f7d493a0b081dede2f43f246da080f9a1d"> into 4626f7ca3">4626f7ca3</a>
1006 of 1141 relevant lines covered (88.17%)
0.88 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 184.1 | 4 |
88.17 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
35.71 | src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs | 92 | 14 | 5 | 9 | 1.0 | |
87.88 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 117 | 33 | 29 | 4 | 1.0 | |
88.34 | src/Data/DecisionDiagram/ZDD.hs | 1093 + 11 | 489 + 3 | 432 + 22 | 57 - 19 | 1.0 | |
89.26 | src/Data/DecisionDiagram/BDD.hs | 1136 + 10 | 605 + 2 | 540 + 12 | 65 - 10 | 1.0 |