Code

Fix z3 installation on PR CI jobs#5983

Code

Merged

NlightNFotis merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/update_windows_z3thomasspriggs/cbmc:tas/update_windows_z3Copy head branch name to clipboard

Mar 31, 2021

Commits

Commits on Mar 30, 2021

• Add z3 installation for windows + make job

  Show description for 400b490
  thomasspriggs

  committed
  400b490

  Copy full SHA for 400b490

• Use `Invoke-WebRequest` instead of `choco` to install `z3` on Windows

  Show description for 62163a9
  thomasspriggs

  committed
  62163a9

  Copy full SHA for 62163a9

• Add z3 to Ubuntu 18 package pull request check job

  Show description for 13c5d50
  thomasspriggs

  committed
  13c5d50

  Copy full SHA for 13c5d50

• Log version of z3 installed in CI

  Show description for 1bb8466
  thomasspriggs

  committed
  1bb8466

  Copy full SHA for 1bb8466

• Add test that Z3 solver support is present and working

  Show description for 037ec0b
  thomasspriggs

  committed
  037ec0b

  Copy full SHA for 037ec0b