651
72%
master: 72%

Ran 11 Apr 2025 12:43PM UTC

Jobs 1

Files 120

Run time 1min

Badge

Committed 11 Apr 2025 12:36PM UTC coverage: 71.175% (-0.09%) from 71.262%

Build # 651

Build Type

push

github

Committed by

Commit Message

Merge 4ca7ba5f7 into 7276e4334

Run Details

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

51 existing lines in 10 files now uncovered.

10699 of 15032 relevant lines covered (71.17%)

0.71 hits per line

Lines	Coverage	∆	File
1	75.23	-0.31%	src/ToySolver/Data/Polynomial/Base.hs
1	95.96	-0.45%	src/ToySolver/SAT/Encoder/Tseitin.hs
2	45.31	0.94%	src/ToySolver/BitVector/Base.hs
2	70.51	0.51%	src/ToySolver/Converter/PB.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
2	73.29	0.16%	src/ToySolver/SAT/Solver/CDCL.hs
2	79.17	0.58%	src/ToySolver/SMT.hs
7	60.51	-0.72%	src/ToySolver/QBF.hs
8	53.81	-2.86%	src/ToySolver/SAT/PBO.hs
24	68.28	-12.9%	src/ToySolver/SAT/PBO/BCD2.hs

ID	Job ID	Ran	Files	Coverage
1	651.1	11 Apr 2025 12:43PM UTC	120	71.17	GitHub Action Run