Repository navigation

Generator checks, and tests that fail when a check of the program is broken - #13

Merged

mjthatch merged 2 commits into

mainfrom

research/generator-checks

Oct 23, 2026

Merged

Generator checks, and tests that fail when a check of the program is broken#13
mjthatch merged 2 commits into
mainfrom
research/generator-checks

Commits on Oct 22, 2026
- Check at generation the invariants the soundness argument rests on
  claude
  committed
  50eb7f1
- Make the tests fail when a check of the program is broken
  claude
  committed
  d24e617