Skip to content

Run all proof harnesses by default#962

Merged
tedinski merged 24 commits into
model-checking:mainfrom
tedinski:proof-harnesses
Mar 25, 2022
Merged

Run all proof harnesses by default#962
tedinski merged 24 commits into
model-checking:mainfrom
tedinski:proof-harnesses

Make harness search robust against possible future name collisions

f47cdd6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs