Project

General

Profile

Actions

Feature #10043

closed

Update CPAchecker

Added by Evgeny Novikov almost 5 years ago. Updated almost 4 years ago.

Status:
Closed
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 2 (0 open2 closed)

Related to Klever - Feature #10577: Place all addon archives to forge.ispras.ruClosedEvgeny Novikov11/13/2020

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

Actions
Actions

Also available in: Atom PDF