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.
Updated by Evgeny Novikov 2 months ago
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).