665
72%
master: 72%

Ran 14 Apr 2025 11:33AM UTC

Jobs 1

Files 120

Run time 1min

Badge

Committed 14 Apr 2025 11:25AM UTC coverage: 71.59% (+0.5%) from 71.091%

Build # 665

Build Type

push

github

Committed by

Commit Message

Merge 2ea6ce55b into 4238641b5

Coverage Stats

10765 of 15037 relevant lines covered (71.59%)

0.72 hits per line

Lines	Coverage	∆	File
8	74.32	0.66%	src/ToySolver/SAT/Solver/CDCL.hs
3	70.29	-0.52%	src/ToySolver/Converter/PB.hs
2	78.86	-1.63%	src/ToySolver/Arith/FourierMotzkin/Base.hs
2	86.58	-0.53%	src/ToySolver/BitVector/Solver.hs
2	78.94	0.23%	src/ToySolver/SMT.hs
1	45.63	0.0%	src/ToySolver/BitVector/Base.hs
1	31.58	-1.75%	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs
1	84.85	-3.03%	src/ToySolver/SAT/PBO/UnsatBased.hs

ID	Job ID	Ran	Files	Coverage
1	665.1	14 Apr 2025 11:33AM UTC	120	71.59	GitHub Action Run