Skip to content

Challenge 17: Verify safety of Slice functions#567

Open
Samuelsills wants to merge 1 commit into
model-checking:mainfrom
Samuelsills:challenge-17-slice
Open

Challenge 17: Verify safety of Slice functions#567
Samuelsills wants to merge 1 commit into
model-checking:mainfrom
Samuelsills:challenge-17-slice

Challenge 17: Verify safety of Slice functions

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

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Mar 26, 2026 in 16m 41s