fix: echidna tests

mento-protocol · Oct 18, 2024 · c236009 · c236009
1 parent c50a198
commit c236009
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/.github/workflows/echidna.yaml b/.github/workflows/echidna.yaml
@@ -46,22 +46,10 @@ jobs:
       - name: "Install the Node.js dependencies"
         run: "yarn install --immutable"
 
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-
-      - name: "Build for echidna"
-        run: |
-          forge build --build-info --skip \
-                "test/fork/**/*" \
-                "test/integration/**/*" \
-                "test/unit/**/*" \
-                "test/utils/**/*" \
-                "script/**/"
-
       - name: "Run Echidna"
         uses: crytic/echidna-action@v2
         with:
-          files: .
+          files: test/echidna/${{ matrix.contract }}.sol
           contract: ${{ matrix.contract }}
           config: echidna.yaml
           test-mode: assertion
diff --git a/echidna.yaml b/echidna.yaml
@@ -1,5 +1,4 @@
 cryticArgs:
-  - --foundry-ignore-compile
   - --solc-remaps
   - "openzeppelin-solidity/=lib/openzeppelin-contracts/ forge-std/=lib/forge-std/src/ mento-std/=lib/mento-std/src/ test/=test/ contracts/=contracts/"
 format: text