♻️ Computers were a mistake

Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
pcaversaccio · May 17, 2024 · 895a5a0 · 895a5a0
1 parent 8e9df0d
commit 895a5a0
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 4 deletions.
diff --git a/.github/workflows/test-contracts.yml b/.github/workflows/test-contracts.yml
@@ -119,8 +119,12 @@ jobs:
 
       - name: Run Echidna ERC-20 property tests
         run: |
-          echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness --config test/tokens/echidna/echidna-config.yaml --crytic-args --ignore-compile
+          echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness --config test/tokens/echidna/echidna-config.yaml
+        env:
+          FOUNDRY_PROFILE: echidna
 
       - name: Run Echidna ERC-721 property tests
         run: |
-          echidna test/tokens/echidna/ERC721Properties.sol --contract CryticERC721ExternalHarness --config test/tokens/echidna/echidna-config.yaml --crytic-args --ignore-compile
+          echidna test/tokens/echidna/ERC721Properties.sol --contract CryticERC721ExternalHarness --config test/tokens/echidna/echidna-config.yaml
+        env:
+          FOUNDRY_PROFILE: echidna
diff --git a/README.md b/README.md
@@ -176,10 +176,10 @@ Furthermore, the [`echidna`](https://github.com/crytic/echidna)-based [property]
 
 ```console
 # Run Echidna ERC-20 property tests.
-~$ echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness --config test/tokens/echidna/echidna-config.yaml --crytic-args --ignore-compile
+~$ FOUNDRY_PROFILE=echidna echidna test/tokens/echidna/ERC20Properties.sol --contract CryticERC20ExternalHarness --config test/tokens/echidna/echidna-config.yaml
 
 # Run Echidna ERC-721 property tests.
-~$ echidna test/tokens/echidna/ERC721Properties.sol --contract CryticERC721ExternalHarness --config test/tokens/echidna/echidna-config.yaml --crytic-args --ignore-compile
+~$ FOUNDRY_PROFILE=echidna echidna test/tokens/echidna/ERC721Properties.sol --contract CryticERC721ExternalHarness --config test/tokens/echidna/echidna-config.yaml
 ```
 
 > [!TIP]

diff --git a/test/tokens/echidna/echidna-config.yaml b/test/tokens/echidna/echidna-config.yaml
@@ -14,3 +14,4 @@ filterFunctions: # Configure the list of methods to filter.
     "VyperDeployer.deployContract(string,string,bytes,string,bool)",
   ]
 filterBlacklist: true # Blacklist methods in `filterFunctions`.
+cryticArgs: ["--ignore-compile"] # Disable compilation in `crytic-compile`.