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