Skip to content

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

Closed
oharboe wants to merge 2 commits into
keplertech:mainfrom
oharboe:lec-exit-status
Closed

LEC: exit 3 when a difference is found, as a SEC counterexample does#267
oharboe wants to merge 2 commits into
keplertech:mainfrom
oharboe:lec-exit-status

LEC exit status: a test the Bazel build runs

7d70f48
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
test (3.14)
succeeded Oct 6, 2026 in 17s