Skip to content

Add support for labels on assertions #6843

New issue
New issue
Open
Open
Add support for labels on assertions#6843
Labels
KaniBugs or features of importance to Kani Rust VerifierawsBugs or features of importance to AWS CBMC usersfeature request
@tautschnig

Description

@tautschnig
tautschnig
opened on May 4, 2022

We already have support for labels on loops and function pointers for users to identify loops and function pointers, respectively. Adding the same for assertions/properties would be consistent and may help automated analysis flows.

Metadata

Metadata

Assignees

No one assigned

    Labels

    KaniBugs or features of importance to Kani Rust VerifierawsBugs or features of importance to AWS CBMC usersfeature request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions