Skip to content

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

Open
#620
Open
Challenge 20: Verify the safety of char-related functions in str::pattern#277
#620
Labels
ChallengeUsed to tag a challenge

Description

@thanhnguyen-aws
thanhnguyen-aws
opened on Mar 18, 2025

Runbook Link

[https://model-checking.github.io/verify-rust-std/challenges/0020-str-pattern-pt1.html]

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    ChallengeUsed to tag a challenge

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions