Skip to content

Challenge 27: Verify safety of Arc functions#575

Open
Samuelsills wants to merge 3 commits into
model-checking:mainfrom
Samuelsills:challenge-27-arc
Open

Challenge 27: Verify safety of Arc functions#575
Samuelsills wants to merge 3 commits into
model-checking:mainfrom
Samuelsills:challenge-27-arc

Make Arc verification harnesses exercise their named functions

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

Annotations

1 warning
Verify std library
succeeded Apr 25, 2026 in 32s