Skip to content

Challenge 23: verify Vec mod.rs function safety with Kani - #692

Open
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:challenge-23-vec-part1
Open

Challenge 23: verify Vec mod.rs function safety with Kani#692
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:challenge-23-vec-part1

Commits

Commits on Sep 22, 2026