Update CPAchecker one more time
One regression and one bug were fixed in CPAchecker, so, it has sense to update it:
- Status changed from New to Resolved
I did everything required in branch update-cpachecker. Let's wait for testing results.
- Description updated (diff)
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in 5eb363ce5. Do not forget to update your instances (configurations and addons) respectively.
Also available in: Atom