Repository navigation

LEC: exit 3 when a difference is found, as a SEC counterexample does - #267

Open

oharboe wants to merge 2 commits into

keplertech:mainfrom

oharboe:lec-exit-status

Commits on Oct 6, 2026
- LEC: exit 3 when a difference is found, as a SEC counterexample does
  
  oharboe
  and
  claude
  committed
  621e5d1
- LEC exit status: a test the Bazel build runs
  
  oharboe
  and
  claude
  committed
  7d70f48