Feature #10043
closed
Added by Evgeny Novikov almost 5 years ago.
Updated almost 4 years ago.
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.
- Blocks Feature #8494: Process extended format of violation witnesses added
- Related to Feature #10577: Place all addon archives to forge.ispras.ru added
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).
- 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