1
71%
master: 71%

Ran 17 Nov 2024 12:43PM CUT

Files 115

Run time 2s

Badge

Committed 17 Nov 2024 12:34PM CUT coverage: 69.418% (-0.4%) from 69.86%

Job # 507.1

Build Type

push

github

Committed by

Commit Message

Merge 93a165bb3 into 5f69a541c

Run Details

9781 of 14090 relevant lines covered (69.42%)

0.69 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	...4-linux/ghc-9.4.8/build/autogen/Paths_toysolver.hs	74	24	0	24	0.0
0.0	src/ToySolver/FileFormat/Base.hs	89	20	0	20	0.0
8.33	src/ToySolver/Graph/MaxCut.hs	57	12	1	11	1.0
22.73	src/ToySolver/SAT/PBO/BCD.hs	136	66	15	51	1.0
30.0	src/ToySolver/Data/DNF.hs	40	10	3	7	1.0
33.33	src/ToySolver/SAT/PBO/BCD2.hs	307	186	62 - 69	124 + 69	1.0
33.33	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs	142	57	19	38	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