Feature #9648
closed
Update CPAchecker one more time
Added by Evgeny Novikov over 5 years ago.
Updated over 5 years ago.
Description
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
PDF