Repository navigation

fix: make the test suite pass (12 failures tracked by #47) - #49

Merged

hyperpolymath merged 3 commits into

mainfrom

Oct 9, 2026

Merged

fix: make the test suite pass (12 failures tracked by #47)#49
hyperpolymath merged 3 commits into
mainfrom
fix/tests-47

Commits on Oct 9, 2026
- fix: make the test suite pass (12 failures from #47)
  
  hyperpolymath
  and
  claude
  committed
  6604a9c
- fix(parse_statistics): never read pairs from inside a stray string
  
  hyperpolymath
  and
  claude
  committed
  318efef
- fix(ci): run the test matrix where no SMT solver is installed
  
  hyperpolymath
  and
  claude
  committed
  a6c6bc6