1
72%
master: 71%

Ran 25 Jul 2022 02:30PM CUT

Files 114

Run time 44s

Badge

Committed 25 Jul 2022 02:30PM CUT coverage: 71.345%. First build

Job # 287.1

Build Type

push

github-actions

Committed by Masahiro Sakai

Commit Message

:up: stack: use lts-18.28 (GHC-8.10.7) for GHC-8.10 build and lts-19.16 (GHC-9.0.2) for GHC-9.0 build

Run Details

9917 of 13900 relevant lines covered (71.35%)

0.71 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.0.1.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
30.65	src/ToySolver/SAT/PBO/BCD2.hs	307	186	57	129	1.0
35.09	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs	142	57	20	37	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