Skip to content

Challenge 25: Verify safety of VecDeque#564

Open
Samuelsills wants to merge 1 commit into
model-checking:mainfrom
Samuelsills:challenge-25-vecdeque
Open

Challenge 25: Verify safety of VecDeque#564
Samuelsills wants to merge 1 commit into
model-checking:mainfrom
Samuelsills:challenge-25-vecdeque

Challenge 25: Verify safety of VecDeque

2a16efd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Kani Autoharness Analyzer
succeeded Mar 24, 2026 in 50m 17s