From 183e27576ba5619de66093f6d7693898ef87ef56 Mon Sep 17 00:00:00 2001
From: Haythem Sellami <17862704+haythemsellami@users.noreply.github.com>
Date: Wed, 3 Jul 2024 19:28:33 +0300
Subject: [PATCH] update echidna config

---
 .github/workflows/echidna.yml           | 3 +--
 test/echidna/config/echidna.config.yaml | 4 +---
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/echidna.yml b/.github/workflows/echidna.yml
index 40482409..e0a6f657 100644
--- a/.github/workflows/echidna.yml
+++ b/.github/workflows/echidna.yml
@@ -36,5 +36,4 @@ jobs:
       with:
         files: test/echidna/CryticERC4626Harness.t.sol
         contract: CryticERC4626Harness
-        config: test/echidna/config/echidna.config.yaml
-        crytic-args: --foundry-ignore-compile
\ No newline at end of file
+        crytic-args: --foundry-ignore-compile --ignore-compile
\ No newline at end of file
diff --git a/test/echidna/config/echidna.config.yaml b/test/echidna/config/echidna.config.yaml
index 06465a9e..b942abfe 100644
--- a/test/echidna/config/echidna.config.yaml
+++ b/test/echidna/config/echidna.config.yaml
@@ -25,6 +25,4 @@ coverageFormats: ["lcov", "html"]
 quiet: false
 
 # concurrent workers
-workers: 10
-
-cryticArgs: ["---foundry-ignore-compile"]
\ No newline at end of file
+workers: 10
\ No newline at end of file