chore: echidna config cleanup

manifoldfinance · Jul 31, 2023 · 41be0fe · 41be0fe
1 parent 5d5c687
commit 41be0fe
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/echidna.yaml b/.github/workflows/echidna.yaml
@@ -33,4 +33,3 @@ jobs:
           files: .
           contract: CryticERC4626Harness
           config: test/echidna/echidna.config.yaml
-          crytic-args: --ignore-compile
diff --git a/test/echidna/echidna.config.yaml b/test/echidna/echidna.config.yaml
@@ -10,4 +10,5 @@ cryticArgs:
   [
     "--solc-remaps",
     "ds-test/=lib/forge-std/lib/ds-test/src/ forge-std/=lib/forge-std/src/ solmate/=lib/solmate/src/ pigeon/=lib/pigeon/src/ solady/=lib/pigeon/lib/solady/src/ @openzeppelin/=lib/openzeppelin-contracts/ safe-contracts/=lib/safe-tools/lib/safe-contracts/contracts/ safe-tools/=lib/safe-tools/src/ properties/=lib/properties/contracts/",
+    "--ignore-compile",
   ]