Skip to content

Challenge 25: Verify Vecdeque safety with Kani#605

Open
v3risec wants to merge 8 commits into
model-checking:mainfrom
v3risec:challenge-25-vecdeque
Open

Challenge 25: Verify Vecdeque safety with Kani#605
v3risec wants to merge 8 commits into
model-checking:mainfrom
v3risec:challenge-25-vecdeque

skip large cost wrap_copy harness to fix CI error

54a534a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Jun 30, 2026 in 23m 47s