175
71%
master: 72%

Ran 13 Feb 2021 03:12PM CUT

Jobs 1

Files 113

Run time 3s

Badge

Build # 175

Build Type

push

github-actions

Committed by Masahiro Sakai

Commit Message

:wastebasket: stop supporting megaparsec-5.*

Run Details

9842 of 13783 relevant lines covered (71.41%)

0.71 hits per line

ID	Job ID	Ran	Files	Coverage
1	175.1	13 Feb 2021 03:12PM CUT	0	71.41

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.2.0.0/build/autogen/Paths_toysolver.hs	50	17	0	17	0.0
8.33	src/ToySolver/Graph/MaxCut.hs	57	12	1	11	1.0
35.09	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs	142	57	20	37	1.0
37.1	src/ToySolver/SAT/PBO/BCD2.hs	307	186	69	117	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
42.42	src/ToySolver/SAT/MUS/Deletion.hs	77	33	14	19	1.0