Skip to content

Prepare for CBMC version 6 #2972

@tautschnig

Description

@tautschnig

We will need to make changes in Kani to support CBMC version 6 (see diffblue/cbmc#7743), once that's released. See also #2952 for what's already failing.

The following changes will be required:

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] InternalTracks some internal work. I.e.: Users should not be affected.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions