Feature #10750
closed
Added by Evgeny Novikov over 3 years ago.
Updated over 3 years ago.
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.
New SMG with several improvements for witness representation and fixes bugs is on branch klever_fixes:36955
- Status changed from New to Resolved
I updated CPAchecker (SMG) in branch update-cpachecker-smg. Let's see on testing results.
- 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.
Also available in: Atom
PDF