Repository navigation

[TS] Use Yices for all TypeScript machines - #417

Merged

CaelmBleidd merged 2 commits into

mainfrom

caelmbleidd/iccq-coverage-yices

Oct 13, 2026

Merged

[TS] Use Yices for all TypeScript machines#417
CaelmBleidd merged 2 commits into
mainfrom
caelmbleidd/iccq-coverage-yices

Commits on Oct 13, 2026
- Bind coverage cells to solver and build identity
  CaelmBleidd
  committed
  ea2d523
- [TS] Default TypeScript options to Yices and respect solver overrides
  CaelmBleidd
  committed
  425e335