815
71%
master: 71%

Ran 18 Jun 2026 05:11PM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 18 Jun 2026 05:05PM UTC coverage: 70.312% (-0.7%) from 70.999%

Build # 815

Build Type

push

github

Committed by

Commit Message

Merge ac686995c into 05e43f911

Coverage Stats

11264 of 16020 relevant lines covered (70.31%)

0.7 hits per line

Lines	Coverage	∆	File
100	16.13	-53.76%	src/ToySolver/SAT/PBO/BCD2.hs
12	73.83	-0.25%	src/ToySolver/SAT/Solver/CDCL.hs
7	58.7	-2.54%	src/ToySolver/QBF.hs
6	78.86	-0.35%	src/ToySolver/SMT.hs
4	68.57	1.9%	src/ToySolver/SAT/PBO.hs
3	43.91	0.64%	src/ToySolver/BitVector/Base.hs
2	83.93	-1.79%	src/ToySolver/SAT/PBO/Context.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
1	72.99	0.17%	src/ToySolver/Converter/PB.hs
1	87.5	-3.13%	src/ToySolver/SAT/PBO/MSU4.hs

ID	Job ID	Ran	Files	Coverage
1	815.1	18 Jun 2026 05:11PM UTC	124	70.31	GitHub Action Run