Skip to content

CBMC upgrade to 6.9.0 failed #4582

Open
Task
Open
CBMC upgrade to 6.9.0 failed#4582
Task
Labels
T-CBMCIssue related to an existing CBMC issue[C] InternalTracks some internal work. I.e.: Users should not be affected.
Milestone
Maintenance
@github-actions

Description

@github-actions
github-actions
bot
opened on Apr 20, 2026

Updating CBMC from 6.8.0 to 6.9.0 failed.
The failed automated run can be found here.

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-CBMCIssue related to an existing CBMC issue[C] InternalTracks some internal work. I.e.: Users should not be affected.

    Type

    Task

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions