Ran
|
Jobs
1
|
Files
4
|
Run time
1min
|
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/63573c61f23bb68f792e5ec4d697e9b3077db67f">63573c61f<a href="https://github.com/msakai/haskell-decision-diagrams/commit/63573c61f23bb68f792e5ec4d697e9b3077db67f">">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/8e1089aa3212878076124ba72208ab022d205fb9">8e1089aa3</a>">8e1089aa3</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/63573c61f23bb68f792e5ec4d697e9b3077db67f"> into 2cb4a1b23">2cb4a1b23</a>
962 of 1093 relevant lines covered (88.01%)
0.88 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 197.1 | 4 |
88.01 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
35.71 | src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs | 92 | 14 | 5 | 9 | 1.0 | |
86.54 | src/Data/DecisionDiagram/ZDD.hs | 1034 - 28 | 431 - 24 | 373 - 25 | 58 + 1 | 1.0 | |
89.29 | src/Data/DecisionDiagram/BDD.hs | 1082 - 14 | 551 - 24 | 492 - 21 | 59 - 3 | 1.0 | |
94.85 | src/Data/DecisionDiagram/BDD/Internal/Node.hs | 247 + 53 | 97 + 26 | 92 + 26 | 5 | 1.0 |