828
71%
master: 71%

Ran 16 Jul 2026 04:46PM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 16 Jul 2026 04:40PM UTC coverage: 70.669% (-0.2%) from 70.887%

Build # 828

Build Type

push

github

Committed by

Commit Message

Merge 3814dc11a into ee41b13c3

Coverage Stats

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

62 existing lines in 9 files now uncovered.

11319 of 16017 relevant lines covered (70.67%)

0.71 hits per line

Lines	Coverage	∆	File
29	56.67	-13.81%	src/ToySolver/SAT/PBO.hs
19	72.72	-0.74%	src/ToySolver/SAT/Solver/CDCL.hs
6	78.74	0.0%	src/ToySolver/SMT.hs
2	44.23	0.32%	src/ToySolver/BitVector/Base.hs
2	90.91	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
1	87.39	-0.9%	src/ToySolver/Converter/NAESAT.hs
1	70.37	-1.23%	src/ToySolver/Data/LA.hs
1	82.87	-0.55%	src/ToySolver/FileFormat/CNF.hs
1	95.96	0.0%	src/ToySolver/SAT/Encoder/Tseitin.hs

ID	Job ID	Ran	Files	Coverage
1	828.1	16 Jul 2026 04:46PM UTC	124	70.67	GitHub Action Run