829
71%
master: 71%

Ran 16 Jul 2026 11:22PM UTC

Jobs 1

Files 124

Run time 20min

Badge

Committed 16 Jul 2026 11:22PM UTC coverage: 70.794% (+0.1%) from 70.669%

Build # 829

Build Type

push

github

Committed by GitHub

Commit Message

Merge 5e86e95ca into ee41b13c3

Coverage Stats

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

59 existing lines in 11 files now uncovered.

11339 of 16017 relevant lines covered (70.79%)

0.71 hits per line

Lines	Coverage	∆	File
34	75.82	-2.92%	src/ToySolver/SMT.hs
8	65.15	-12.12%	src/ToySolver/SAT/PBO/BCD.hs
4	42.95	-1.28%	src/ToySolver/BitVector/Base.hs
3	77.27	-6.82%	src/ToySolver/Converter/SAT2MaxCut.hs
2	59.77	-1.15%	src/ToySolver/Arith/Cooper/Base.hs
2	86.25	-0.54%	src/ToySolver/BitVector/Solver.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
1	86.0	-2.0%	src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
1	95.52	-0.45%	src/ToySolver/SAT/Encoder/Tseitin.hs
1	87.5	-3.13%	src/ToySolver/SAT/PBO/MSU4.hs
1	73.42	0.7%	src/ToySolver/SAT/Solver/CDCL.hs

ID	Job ID	Ran	Files	Coverage
1	829.1	16 Jul 2026 11:22PM UTC	124	70.79	GitHub Action Run