806
71%
master: 71%

Ran 09 Jun 2026 12:14AM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 09 Jun 2026 12:07AM UTC coverage: 70.866% (+0.02%) from 70.851%

Build # 806

Build Type

push

github

Committed by

Commit Message

Merge 02bdcdeb8 into dda4b1322

Coverage Stats

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

28 existing lines in 13 files now uncovered.

11374 of 16050 relevant lines covered (70.87%)

0.71 hits per line

Lines	Coverage	∆	File
9	65.24	-4.29%	src/ToySolver/SAT/PBO.hs
3	45.31	-0.31%	src/ToySolver/BitVector/Base.hs
2	83.28	-0.1%	src/ToySolver/Converter/MIP.hs
2	72.82	0.0%	src/ToySolver/Converter/PB.hs
2	51.88	-0.68%	src/ToySolver/EUF/FiniteModelFinder.hs
2	95.52	-0.9%	src/ToySolver/SAT/Encoder/Tseitin.hs
2	78.37	0.23%	src/ToySolver/SMT.hs
1	78.05	-0.81%	src/ToySolver/Arith/FourierMotzkin/Base.hs
1	59.9	-0.5%	src/ToySolver/Combinatorial/SubsetSum.hs
1	70.37	-1.23%	src/ToySolver/Data/LA.hs
1	58.33	-0.36%	src/ToySolver/QBF.hs
1	70.97	-0.54%	src/ToySolver/SAT/PBO/BCD2.hs
1	73.34	0.41%	src/ToySolver/SAT/Solver/CDCL.hs

ID	Job ID	Ran	Files	Coverage
1	806.1	09 Jun 2026 12:14AM UTC	124	70.87	GitHub Action Run