Project

General

Profile

Feature #10043

Update CPAchecker

Added by Evgeny Novikov about 1 year ago. Updated about 2 months 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

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

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

Actions

History

#1

Updated by Evgeny Novikov about 1 year ago

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

Updated by Evgeny Novikov 2 months ago

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

Updated by Evgeny Novikov 2 months 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).

#4

Updated by Evgeny Novikov about 2 months 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.

Also available in: Atom PDF