From 2dfdb56724aff524ca2ef60ffc8ae83a7fcfe5b6 Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Wed, 29 May 2024 11:48:43 +0200 Subject: [PATCH] fix medusa erc20 tests --- .github/workflows/medusa.yaml | 3 --- README.md | 2 +- tests/ERC20/foundry/medusa-config-ext.json | 2 +- tests/ERC4626/foundry/medusa-config.json | 2 +- 4 files changed, 3 insertions(+), 6 deletions(-) diff --git a/.github/workflows/medusa.yaml b/.github/workflows/medusa.yaml index 1328b1c..c4ca71d 100644 --- 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 index 3641f42..d121575 100644 --- 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 index 33a6791..0a5a478 100644 --- 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 index 1fc397c..ca87a6d 100644 --- 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"] } } }