Project

General

Profile

Actions
Copy link

Feature #10043

closed

Update CPAchecker

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

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
-
Target version:
3.0
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 open — 2 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
Copy link
 #1

Updated by Evgeny Novikov over 4 years ago

  • Blocks Feature #8494: Process extended format of violation witnesses added
Actions
Copy link
 #2

Updated by Evgeny Novikov over 3 years ago

  • Related to Feature #10577: Place all addon archives to forge.ispras.ru added
Actions
Copy link
 #3

Updated by Evgeny Novikov over 3 years ago

I updated CPAchecker to 36043 where BAM & SMG seems to operate pretty well (though, of course we have good and bad regressions for large jobs).

So, now we are waiting for the version of CPAchecker with extended violation witnesses support. Everything required in Klever was already implemented and tested (#8494).

Actions
Copy link
 #4

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Closed

We updated CPAchecker BAM & SMG as well as CPALockator in branch extended-witnesses. Tests passed, so, I merged the branch to master in d74545524.

Actions
Copy link

Also available in: Atom PDF