Code

Run CI against multiple Z3 versions#374

Code

Merged

shingarov merged 3 commits intoshingarov:pure-z3shingarov/MachineArithmetic:pure-z3from janvrany:pr/ci-test-multiple-z3-versionsjanvrany/MachineArithmetic:pr/ci-test-multiple-z3-versionsCopy head branch name to clipboardOct 22, 2024

+136-27

Commits

Commits on Oct 22, 2024

• Print Z3 version just before running tests

  Show description for 43e3407
  janvrany

  committed
  43e3407

• [Z3]: allow to specify Z3 library via Z3_LIBRARY_PATH environment

  janvrany

  committed
  f373c53

• [CI] run tests against multiple Z3 versions

  Show description for 0c910b1
  janvrany

  committed
  0c910b1