Skip to content

CBMC is not analyzed with Coverity #1287

New issue
New issue
Closed
Closed
CBMC is not analyzed with Coverity#1287
Labels
pending merge
@nmanthey

Description

@nmanthey
nmanthey
opened on Aug 23, 2017

Warnings raised by Coverity might reveal problems that are not caught by the regression test suite. Intergating Coverity in the CI story helps to improve code quality.

Metadata

Metadata

Assignees

No one assigned

    Labels

    pending merge

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions