Update CPAchecker (SMG)
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.
Updated by Evgeny Novikov over 1 year 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.