Ilja already has some recent experience in this, so, let's him allow to do this in production.
#2 Updated by Evgeny Novikov 9 months ago
- Status changed from Resolved to Open
Also I updated CPALockator to CPALockator:26692 in d348f5cb to branch 8897-trunk-cpachecker.
But it turns out that a new version of CPAchecker from trunk results into too many failures when processing its witnesses produced for Klever tests. So, we need to understand who is wrong and to fix them.
#3 Updated by Ilja Zakharov 9 months ago
I fixed the most of cases but there is one important: CPAchecker does not print warning edge which is extremly important for applying marks. So lets wait a bit for fixes.
Current progress in available in 8897-trunk-cpachecker and in core-new-formats (with Django2 support).