From 2d2c3529bb1c58dbd490a4502cda8048dbbb562b Mon Sep 17 00:00:00 2001
From: Ownerless Inc <90667119+0xneves@users.noreply.github.com>
Date: Thu, 7 Dec 2023 18:29:33 -0300
Subject: [PATCH] feat: adding assertion tests to echidna

---
 .github/workflows/fuzz-testing.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/fuzz-testing.yml b/.github/workflows/fuzz-testing.yml
index 451072e..35af9ad 100644
--- 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