Skip to content

Challenge 17: Verify slice safety with Kani - #657

Open
v3risec wants to merge 5 commits into
model-checking:mainfrom
v3risec:challenge-17-slice
Open

Challenge 17: Verify slice safety with Kani#657
v3risec wants to merge 5 commits into
model-checking:mainfrom
v3risec:challenge-17-slice

Fix Kani loop frame for byte-swap chunks

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

Annotations

1 warning
Verify std library
succeeded Aug 27, 2026 in 31s