Actions
Feature #9583
closedUpdate CPAchecker
Start date:
04/03/2019
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Pavel reported that one of optimizations in CPAchecker was broken, so that the currently used version can spend too much time for verification for programs with recursion. We need to update to r30896.
BTW, Pavel says, that at the moment CPAchecker is more precise with recursion, so, if one will need such the precision, it will be necessary to change configuration (as far as I understand, get rid of option -skipRecursion).
With this update we will likely get a fix of https://gitlab.com/sosy-lab/software/cpachecker/issues/348.
It will be great to update after https://gitlab.com/sosy-lab/software/cpachecker/issues/571 will be investigated and fixed by somebody in our room.
Actions