1
71%
master: 71%

Ran 27 Jul 2022 02:32PM CUT

Files 114

Run time 50s

Badge

Committed 27 Jul 2022 02:32PM CUT coverage: 69.734% (-0.1%) from 69.849%

Job # 300.1

Build Type

push

github-actions

Committed by Masahiro Sakai

Commit Message

stop supporting GHC-8.6.5

Run Details

9693 of 13900 relevant lines covered (69.73%)

0.7 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/ToySolver/FileFormat/Base.hs	89	19	0	19	0.0
0.0	...fo6/Cabal-3.4.1.0/build/autogen/Paths_toysolver.hs	51	17	0	17	0.0
8.33	src/ToySolver/Graph/MaxCut.hs	57	12	1	11	1.0
16.13	src/ToySolver/SAT/PBO/BCD2.hs	307	186	30 - 28	156 + 28	1.0
25.76	src/ToySolver/SAT/PBO/BCD.hs	136	66	17	49	1.0
31.58	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs	142	57	18	39	1.0
37.5	src/ToySolver/Data/DNF.hs	40	8	3	5	1.0
37.84	src/ToySolver/Arith/Simplex/Simple.hs	71	37	14	23	1.0
38.46	src/ToySolver/SAT/MUS.hs	60	13	5	8	1.0
41.3	src/ToySolver/Arith/BoundsInference.hs	111	46	19	27	1.0