solidity icon indicating copy to clipboard operation
solidity copied to clipboard

Published 20 hours ago • verified publisher icon ethereum

Update Z3 to 4.13.0 or later

Open cameel opened this issue 2 months ago • 1 comments

The last time we updated Z3 was 4.12.1 over a year ago (#14074/#14076). 4.13.0 has been released in April, it's about time to update.

This is not critical since it mostly affects tests (they are all guaranteed to pass only on the single version we use in CI), but it's best if we stay on top of the latest version. New versions may need some changes on our side, which could be the reason behind issues like #15196.

cameel avatar Jun 14 '24 13:06 cameel