update echidna config

euler-xyz · Jul 3, 2024 · 183e275 · 183e275
1 parent 54fc8ff
commit 183e275
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git 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
+        crytic-args: --foundry-ignore-compile --ignore-compile
diff --git 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"]
+workers: 10