Challenge 20: Verify the safety of char-related functions in str::pattern #277

Open

Open

Challenge 20: Verify the safety of char-related functions in str::pattern#277

Labels

thanhnguyen-aws

Runbook Link

[https://model-checking.github.io/verify-rust-std/challenges/0020-str-pattern-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