upgrade echidna

oxen-io · Dec 17, 2023 · bd1f559 · bd1f559
1 parent bc4161e
commit bd1f559
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/.github/workflows/fuzz-testing.yml b/.github/workflows/fuzz-testing.yml
@@ -45,9 +45,10 @@ jobs:
 
       - name: Install echidna
         run: |
-          sudo wget -O /tmp/echidna-test.tar.gz https://github.com/crytic/echidna/releases/download/v1.6.0/echidna-test-v1.6.0-Ubuntu-18.04.tar.gz
-          sudo tar -xf /tmp/echidna-test.tar.gz -C /usr/bin
-          sudo chmod +x /usr/bin/echidna-test
+          sudo wget -O /tmp/echidna.zip https://github.com/crytic/echidna/releases/download/v2.2.1/echidna-2.2.1-Linux.zip
+          sudo unzip /tmp/echidna.zip -d /tmp
+          sudo tar -xf /tmp/echidna.tar.gz -C /usr/bin
+          sudo chmod +x /usr/bin/echidna
 
       - name: Run ${{ matrix.testName }}
-        run: echidna-test . --contract ${{ matrix.testName }} --config echidna.config.yml
+        run: echidna . --contract ${{ matrix.testName }} --config echidna.config.yml --test-mode assertion
diff --git a/echidna.config.yml b/echidna.config.yml
@@ -3,7 +3,7 @@ format: 'text'
 #checkAsserts checks assertions
 checkAsserts: true
 #coverage controls coverage guided testing
-coverage: false
+coverage: true
 # #psender is the sender for property transactions; by default intentionally
 # #the same as contract deployer
 # psender: "0x00a329c0648769a73afac7f9381e08fb43dbea70"
@@ -41,6 +41,7 @@ coverage: false
 # solcLibs: []
 # #cryticArgs allows special args to crytic
 # cryticArgs: []
+cryticArgs: ["--compile-libraries=(BN256G2,0x1f)"]
 # #quiet produces (much) less verbose output
 # quiet: false
 # #initialize the blockchain with some data
@@ -72,3 +73,4 @@ coverage: false
 # mutConsts: [100, 1, 1]
 # # maximum value to send to payable functions
 # maxValue: 100000000000000000000 # 100 eth
+deployContracts: [["0x1f", "BN256G2"]]