Actions
Feature #11833
closedUpdate CPAchecker
Start date:
08/17/2022
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Anton optimized yielding violation witnesses when there is a large state, e.g. in case of a numerous local static variables with huge initializers (#11782). Let's evaluate this change and update CPAchecker if everything is okay.
Updated by Evgeny Novikov about 2 years ago
- Blocks Feature #11782: Update CIF added
Updated by Evgeny Novikov about 2 years ago
- Status changed from New to Resolved
I updated CPAchecker in branch update-cpachecker. The branch is tested.
Updated by Evgeny Novikov about 2 years ago
- Status changed from Resolved to Closed
Tests did not reveal any substantial deviations, so I merged the branch to master in 2d4b902f4.
Actions