Project

General

Profile

Feature #10754

Update CPAchecker (SMG)

Added by Evgeny Novikov about 1 month ago. Updated 3 days ago.

Status:
New
Priority:
Urgent
Assignee:
Anton Vasilyev
Category:
Addons
Target version:
3.2
Start date:
03/13/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

We expect that CPAchecker (SMG) will improve representation of verification results (violation witnesses and code coverage). This will facilitate users especially newcomers. Also, bug fixes and optimizations are always welcome.

Related issues

Blocks Klever - Feature #10794: Add notes from CPAchecker SMG to code coverageFeedbackEvgeny Novikov04/07/2021

Actions
#1

Updated by Evgeny Novikov 15 days ago

  • Blocks Feature #10794: Add notes from CPAchecker SMG to code coverage added
#2

Updated by Evgeny Novikov 15 days ago

  • Priority changed from High to Urgent

We will need to update CPAchecker (SMG) to get highly demanded improvements in representation of witnesses and code coverage.

#3

Updated by Evgeny Novikov 3 days ago

Temporarily I updated CPAchecker to https://github.com/Druidos/cpachecker/commit/953c051 in branch update-cpachecker. Most likely there will be further updates that in particular will be in the primary SVN repository rather than in the GitHub mirror.

Also available in: Atom PDF