Build both Z3 4.8.10 and 4.8.14 versions

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Build both Z3 4.8.10 and 4.8.14 versions #29

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

We now include both Z3 4.8.10 and 4.8.14 so that SAW's CI can revert back to 4.8.10 in certain cases, as 4.8.14 has been known to nondeterministically fail on certain jobs. See GaloisInc/saw-script#1772.