From 965e5fc25bbc228a6ab21affa0b49253fd4f292c Mon Sep 17 00:00:00 2001
From: Charles Cooper <cooper.charles.m@gmail.com>
Date: Wed, 22 Jan 2025 11:35:39 -0500
Subject: [PATCH] install z3

---
 .github/workflows/test.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 1953abc6bb..cf4255271e 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -79,6 +79,9 @@ jobs:
 
     - name: Install hevm
       run: |
+        # hevm dependency
+        sudo apt-get install z3
+
         wget -O hevm https://github.com/ethereum/hevm/releases/download/release/0.54.2/hevm-x86_64-linux
         chmod +x hevm
         mkdir -p "$HOME/.local/bin/"