add z3 install step to test

crytic · Apr 9, 2024 · 8427961 · 8427961
1 parent 1d8f746
commit 8427961
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -220,6 +220,14 @@ jobs:
           HOST_OS: ${{ runner.os }}
           SOLC_VER: ${{ matrix.solc }}
 
+      - name: Install Z3 (Linux)
+        if: runner.os == 'Linux'
+        run: apt install z3
+
+      - name: Install Z3 (Windows)
+        if: runner.os == 'Windows'
+        run: pacman -S mingw-w64-x86_64-z3
+
       - name: Download testsuite
         uses: actions/download-artifact@v4
         with: