Project

General

Profile

Actions

Feature #10750

closed

Update CPAchecker (SMG)

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

Status:
Closed
Priority:
High
Category:
Addons
Target version:
Start date:
03/12/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Anton fixed some bugs in CPAchecker SMG. Also, he has been considerably improving representation of violation witnesses, so, that it does have sense to update CPAchecker for Klever 3.1.

Actions #1

Updated by Anton Vasilyev about 3 years ago

New SMG with several improvements for witness representation and fixes bugs is on branch klever_fixes:36955

Actions #2

Updated by Evgeny Novikov about 3 years ago

  • Status changed from New to Resolved

I updated CPAchecker (SMG) in branch update-cpachecker-smg. Let's see on testing results.

Actions #3

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

After some improvements the branch passed tests, so, I merged it to master in c5d1a1842. Note, that error traces for memory safety will look much better than it was before. Also, existing marks will not be associated with them.

c5d1a1842 was marked as v3.1rc1 since this was the last issue for Klever 3.1.

Actions

Also available in: Atom PDF