diff --git a/.github/workflows/echidna.yaml b/.github/workflows/echidna.yaml index 5ce2076..7b8da9b 100644 --- a/.github/workflows/echidna.yaml +++ b/.github/workflows/echidna.yaml @@ -30,7 +30,7 @@ jobs: - name: Run Echidna uses: crytic/echidna-action@v2 with: - files: test/echidna/ERC4626-echidna.t.sol + files: . contract: CryticERC4626Harness config: test/echidna/echidna.config.yaml crytic-args: --ignore-compile diff --git a/.gitignore b/.gitignore index b8738cb..ac14e03 100644 --- a/.gitignore +++ b/.gitignore @@ -24,3 +24,5 @@ remappings.txt .envrc.local crytic-export/ +test/echidna/echidna-corpus/ +