Skip to content

Add a section on Kani attributes to the docs #2208

Closed
#2359
Closed
Add a section on Kani attributes to the docs#2208
#2359
Assignees
adpaco
Labels
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

Description

@zhassan-aws
zhassan-aws
opened on Feb 10, 2023

The docs mention the Kani attributes, e.g. kani::proof and kani::unwind in the tutorial, but there is no dedicated section that lists all the available attributes. We should add one (to Getting Started?) that includes:

  • kani::proof
  • kani::unwind
  • kani::solver
  • kani::stub

Activity

  1. zhassan-aws
    added
    [C] Feature / EnhancementA new feature request or enhancement to an existing feature.
    on Feb 10, 2023
  2. adpaco
    self-assigned this
    on Mar 28, 2023
  3. adpaco
    added this to Kani 2023-04-17on Mar 28, 2023
  4. adpaco
    moved this to Todo in Kani 2023-04-17on Mar 28, 2023
  5. adpaco
    moved this from Todo to In Progress in Kani 2023-04-17on Apr 5, 2023
  6. adpaco
    closed this as completedin #2359on Apr 10, 2023
  7. 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

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions