Skip to content

Challenge 24: verify Vec IntoIter and spec_* function safety with Kani - #689

Open
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:24-build
Open

Challenge 24: verify Vec IntoIter and spec_* function safety with Kani#689
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:24-build

Commits

Commits on Sep 18, 2026