843
71%
master: 71%

Ran 23 Sep 2026 11:47PM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 23 Sep 2026 05:25AM UTC coverage: 70.82% (-0.2%) from 71.019%

Build # 843

Build Type

push

github

Committed by

Commit Message

Merge 1bd21699c into 195757ed9

Coverage Stats

11346 of 16021 relevant lines covered (70.82%)

0.71 hits per line

Lines	Coverage	∆	File
44	72.39	-1.77%	src/ToySolver/SAT/Solver/CDCL.hs
14	60.0	-6.67%	src/ToySolver/SAT/PBO.hs
8	60.87	0.72%	src/ToySolver/QBF.hs
4	78.97	-0.12%	src/ToySolver/SMT.hs
2	76.88	5.38%	src/ToySolver/SAT/PBO/BCD2.hs
1	44.23	0.64%	src/ToySolver/BitVector/Base.hs
1	86.19	-0.55%	src/ToySolver/Combinatorial/BipartiteMatching.hs
1	73.15	0.17%	src/ToySolver/Converter/PB.hs
1	95.96	0.0%	src/ToySolver/SAT/Encoder/Tseitin.hs

ID	Job ID	Ran	Files	Coverage
1	843.1	23 Sep 2026 11:47PM UTC	124	70.82	GitHub Action Run