E46C Challenge 23: Verify the safety of `Vec` functions part 1 · Issue #284 · model-checking/verify-rust-std · GitHub

Challenge 23: Verify the safety of `Vec` functions part 1 #284

Open

Labels

thanhnguyen-aws

opened

on Mar 18, 2025

Runbook Link

https://model-checking.github.io/verify-rust-std/challenges/0023-vec-pt1.html

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

0