Skip to content

Documentation for the #[kani::should_panic] attribute #2316

Closed
#2359
Closed
Documentation for the #[kani::should_panic] attribute#2316
#2359
Assignees
adpaco

Description

@adpaco
adpaco
opened on Mar 24, 2023

The #[kani::should_panic] attribute was implemented in #2315, now we need to add documentation about it. We should take into account the remarks in the RFC (#2272), and consider including it in the section planned in #2208.

Activity

  1. adpaco
    self-assigned this
    on Mar 24, 2023
  2. adpaco
    added this to Kani 2023-04-17on Apr 3, 2023
  3. adpaco
    moved this to Todo in Kani 2023-04-17on Apr 3, 2023
  4. adpaco
    moved this from Todo to In Progress in Kani 2023-04-17on Apr 6, 2023
  5. adpaco
    closed this as completedin #2359on Apr 10, 2023
  6. adpaco
    moved this from In Progress to Done in Kani 2023-04-17on Apr 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions