feat: adding assertion tests to echidna

blockful-io · Dec 7, 2023 · 2d2c352 · 2d2c352
1 parent ee50edb
commit 2d2c352
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/fuzz-testing.yml b/.github/workflows/fuzz-testing.yml
@@ -50,5 +50,8 @@ jobs:
           sudo tar -xf /tmp/echidna-test.tar.gz -C /usr/bin
           sudo chmod +x /usr/bin/echidna-test
 
-      - name: Run ${{ matrix.testName }}
-        run: echidna-test . --contract ${{ matrix.testName }} --config echidna.config.yml
+      - name: Run ${{ matrix.testName }} as properties
+        run: echidna-test . --contract ${{ matrix.testName }} --test-mode property --config echidna.config.yml
+
+      - name: Run ${{ matrix.testName }} as assertion
+        run: echidna-test . --contract ${{ matrix.testName }} --test-mode assertion --config echidna.config.yml