fix: using recent version of echidna

blockful-io · Dec 7, 2023 · 264a6a6 · 264a6a6
1 parent 8e6f000
commit 264a6a6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/fuzz-testing.yml b/.github/workflows/fuzz-testing.yml
@@ -46,9 +46,9 @@ jobs:
 
       - name: Install echidna
         run: |
-          sudo wget -O /tmp/echidna-2.2.1.tar.gz https://github.com/crytic/echidna/archive/refs/tags/v2.2.1.tar.gz
-          sudo tar -xf /tmp/echidna-2.2.1.tar.gz -C /usr/bin
-          sudo chmod +x /usr/bin/echidna-2.2.1
+          sudo wget -O /tmp/echidna-2.2.1-Linux.zip https://github.com/crytic/echidna/releases/download/v2.2.1/echidna-2.2.1-Linux.zip
+          sudo unzip /tmp/echidna-2.2.1-Linux.zip -d /usr/bin
+          sudo chmod +x /usr/bin/echidna
 
       - name: Run ${{ matrix.testName }} as properties
         run: echidna . --contract ${{ matrix.testName }} --test-mode property --config echidna.config.yml