1
71%
master: 71%

Ran 24 Nov 2024 03:09PM CUT

Files 116

Run time 2s

Badge

Committed 24 Nov 2024 03:01PM CUT coverage: 68.689% (-1.1%) from 69.746%

Job # 518.1

Build Type

push

github

Committed by

Commit Message

Merge aa85589aa into 38bf6d362

Run Details

9780 of 14238 relevant lines covered (68.69%)

0.69 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/ToySolver/FileFormat/Base.hs	89	20	0	20	0.0
0.0	...4-linux/ghc-9.4.8/build/autogen/Paths_toysolver.hs	74	24	0	24	0.0
0.0	src/ToySolver/SAT/Internal/JSON.hs	56	26	0	26	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 - 26	156 + 26	1.0
21.43	src/ToySolver/Converter/Base.hs	141 + 23	28 + 15	6	22 + 15	1.0
28.57	src/ToySolver/Converter/Tseitin.hs	58 + 16	14 + 9	4	10 + 9	1.0
30.0	src/ToySolver/Data/DNF.hs	40	10	3	7	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