Skip to content

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

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

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

Annotations

1 warning

upstream_test (ubuntu-latest)

succeeded Mar 15, 2026 in 3m 16s