822
71%

Ran 25 Jun 2026 12:37PM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 25 Jun 2026 12:31PM UTC coverage: 70.727% (-0.1%) from 70.868%

Build # 822

Build Type

push

github

Committed by

Commit Message

Merge pull request #213 from msakai/fix/toysmt-repl-framing-error-loop

Fix infinite loop on framing errors in the toysmt haskeline REPL

Coverage Stats

11327 of 16015 relevant lines covered (70.73%)

0.71 hits per line

Lines	Coverage	∆	File
47	75.08	-0.68%	src/ToySolver/Data/Polynomial/Base.hs
25	53.33	-11.9%	src/ToySolver/SAT/PBO.hs
13	58.7	-4.35%	src/ToySolver/QBF.hs
7	74.2	1.03%	src/ToySolver/SAT/Solver/CDCL.hs
6	78.15	-0.23%	src/ToySolver/SMT.hs
4	68.28	-2.15%	src/ToySolver/SAT/PBO/BCD2.hs
2	87.5	-6.25%	src/ToySolver/SAT/PBO/MSU4.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
1	83.69	0.0%	src/ToySolver/Arith/OmegaTest/Base.hs
1	44.87	0.64%	src/ToySolver/BitVector/Base.hs
1	87.39	-0.9%	src/ToySolver/Converter/NAESAT.hs
1	72.99	0.34%	src/ToySolver/Converter/PB.hs
1	70.37	-1.23%	src/ToySolver/Data/LA.hs

ID	Job ID	Ran	Files	Coverage
1	822.1	25 Jun 2026 12:37PM UTC	124	70.73	GitHub Action Run