Skip to content

Update CBMC version check to 5.30 in rmc-regression.sh #164

@avanhatt

Description

@avanhatt

On CBMC version 5.18, /scripts/rmc-regression.sh had several failing tests. rmc-regression.sh checks for that version, according to @danielsn it should now check for 5.30. (Will fix once I have Github permission).

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] BugThis is a bug. Something isn't working.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions