Project

General

Profile

Actions

Feature #10754

closed

Update CPAchecker (SMG)

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Addons
Target version:
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 1 (0 open1 closed)

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

Actions
Actions

Also available in: Atom PDF