Skip to content

Challenge 17: Kani contracts for slice functions - #647

Open
sankalpsthakur wants to merge 6 commits into
model-checking:mainfrom
sankalpsthakur:challenge/17-slice
Open

Challenge 17: Kani contracts for slice functions#647
sankalpsthakur wants to merge 6 commits into
model-checking:mainfrom
sankalpsthakur:challenge/17-slice

Challenge 17: bind rotate length before the mutable call

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

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Aug 20, 2026 in 14m 37s