Project

General

Profile

Actions
Copy link

Feature #10750

closed

Update CPAchecker (SMG)

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

Status:
Closed
Priority:
High
Assignee:
Anton Vasilyev
Category:
Addons
Target version:
3.1
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
Copy link
 #1

Updated by Anton Vasilyev almost 4 years ago

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

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 4 years ago

  • Status changed from New to Resolved

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

Actions
Copy link
 #3

Updated by Evgeny Novikov almost 4 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
Copy link

Also available in: Atom PDF