fix medusa erc20 tests

crytic · May 29, 2024 · 2dfdb56 · 2dfdb56
1 parent 8911b57
commit 2dfdb56
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/medusa.yaml b/.github/workflows/medusa.yaml
@@ -45,14 +45,11 @@ jobs:
       - name: Run Medusa for Internal ERC20 tests
         working-directory: tests/ERC20/foundry
         run: |
-          ls out -R
           medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
 
       - name: Run Medusa for External ERC20 tests
         working-directory: tests/ERC20/foundry
         run: |
-          crytic-compile . --foundry-compile-all
-          ls out -R
           medusa fuzz --target-contracts CryticERC20ExternalHarness --config medusa-config-ext.json
 
       - name: Compile ERC4646 Foundry example

diff --git a/README.md b/README.md
@@ -170,7 +170,7 @@ Create the following Medusa config file:
 			"target": ".",
 			"solcVersion": "",
 			"exportDirectory": "",
-			"args": []
+			"args": ["--foundry-compile-all"]
 		}
 	}
 }

diff --git a/tests/ERC20/foundry/medusa-config-ext.json b/tests/ERC20/foundry/medusa-config-ext.json
@@ -69,7 +69,7 @@
 			"target": ".",
 			"solcVersion": "",
 			"exportDirectory": "",
-			"args": []
+			"args": ["--foundry-compile-all"]
 		}
 	},
 	"logging": {

diff --git a/tests/ERC4626/foundry/medusa-config.json b/tests/ERC4626/foundry/medusa-config.json
@@ -55,7 +55,7 @@
 			"target": ".",
 			"solcVersion": "",
 			"exportDirectory": "",
-			"args": []
+			"args": ["--foundry-compile-all"]
 		}
 	}
 }