msakai / haskell-decision-diagrams / 213
88%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 4
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
213

push

github-actions

GitHub 
add "Dynamic variable reordering" to comparison table

953 of 1085 relevant lines covered (87.83%)

0.88 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
92.52
 -0.93% src/Data/DecisionDiagram/BDD/Internal/Node.hs
1
86.73
 0.24% src/Data/DecisionDiagram/ZDD.hs
3
89.11
 0.55% src/Data/DecisionDiagram/BDD.hs
Jobs
ID Job ID Ran Files Coverage
1 213.1 4
87.83
Source Files on build 213