Project

General

Profile

Feature #10043

Update CPAchecker

Added by Evgeny Novikov 4 months ago.

Status:
New
Priority:
Urgent
Category:
-
Target version:
Start date:
01/17/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment we use CPAchecker May 6, 2019 for checking everything except for data races. It is too old. After Anton will finish merge of CPAchecker SMG to trunk we need to switch to a new version. Besides, there will be everything the best for extended violation witnesses.


Related issues

Blocks Klever - Feature #8494: Process extended format of violation witnessesNew05/11/201707/02/2019

Actions

History

#1

Updated by Evgeny Novikov 4 months ago

  • Blocks Feature #8494: Process extended format of violation witnesses added

Also available in: Atom PDF