Skip to content

Verify safety of slice iterator functions with Kani (Challenge 18)

9f4b427
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Verify safety of slice iterator functions with Kani (Challenge 18) #560

Verify safety of slice iterator functions with Kani (Challenge 18)
9f4b427
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
Kani Autoharness Analyzer
failed Mar 17, 2026 in 4m 21s