Skip to content

Fix borrow checker errors in Kani _mut harnesses

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

Verify safety of Vec functions with VeriFast (Challenge 23) #561

Fix borrow checker errors in Kani _mut harnesses
a0a60ab
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
upstream_test (macos-latest)
failed Mar 17, 2026 in 4m 44s