1
88%
main: 88%

Ran 23 Feb 2022 03:36PM CUT

Files 4

Run time 29s

Badge

Committed 23 Feb 2022 03:35PM CUT coverage: 87.558% (-0.4%) from 87.926%

Job # 215.1

Build Type

push

github-actions

Committed by Masahiro Sakai

Commit Message

relax upper bound of statistics to allow statistics-0.16.*

Run Details

950 of 1085 relevant lines covered (87.56%)

0.88 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
35.71	src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs	92	14	5	9	1.0
86.73	src/Data/DecisionDiagram/ZDD.hs	1024	422	366 + 1	56 - 1	1.0
88.38	src/Data/DecisionDiagram/BDD.hs	1072	542	479 - 5	63 + 5	1.0
93.46	src/Data/DecisionDiagram/BDD/Internal/Node.hs	267	107	100	7	1.0