Skip to content

Add support for dev setup on Ubuntu 24.04 #3728

@rafaelsamenezes

Description

@rafaelsamenezes

The install-cbmc.sh is supposed to get the correct .deb from Diffblue release or build one when it is not available. The issue is that the script is trying to download cbmc for ubuntu 24.04 while the available releases are for 20.04 or 22.04.

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-UserTag user issues / requests[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