Skip to content

Provide a button to download CBMC #54

Open
Open
Provide a button to download CBMC#54
Labels
enhancement
@prapicault

Description

@prapicault
prapicault
opened on Dec 18, 2014

For cases where the user does not know where to get CBMC, we should offer a download button.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions