solidity
solidity copied to clipboard
Update Z3 to 4.13.0 or later
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.