850
71%
master: 71%

Ran 18 Oct 2026 06:33AM UTC

Jobs 1

Files 126

Run time 1min

Badge

Committed 18 Oct 2026 06:16AM UTC coverage: 71.152% (+0.1%) from 71.051%

Build # 850

Build Type

push

github

Committed by

Commit Message

Merge 83b418e04 into b22665ecd

Coverage Stats

17 of 17 new or added lines in 1 file covered. (100.0%)

45 existing lines in 10 files now uncovered.

11511 of 16178 relevant lines covered (71.15%)

0.71 hits per line

Lines	Coverage	∆	File
14	74.12	0.9%	src/ToySolver/SAT/Solver/CDCL.hs
11	65.24	-0.48%	src/ToySolver/SAT/PBO.hs
6	86.61	-5.36%	src/ToySolver/Converter/SAT2MIS.hs
6	58.7	-2.17%	src/ToySolver/QBF.hs
2	44.23	0.0%	src/ToySolver/BitVector/Base.hs
2	72.82	-0.34%	src/ToySolver/Converter/PB.hs
1	70.37	-1.23%	src/ToySolver/Data/LA.hs
1	95.96	0.0%	src/ToySolver/SAT/Encoder/Tseitin.hs
1	87.88	-3.03%	src/ToySolver/SAT/PBO/UnsatBased.hs
1	78.86	0.12%	src/ToySolver/SMT.hs

ID	Job ID	Ran	Files	Coverage
1	850.1	18 Oct 2026 06:33AM UTC	126	71.15	GitHub Action Run