test to debug

crytic · May 29, 2024 · 0b6fd45 · 0b6fd45
1 parent 05308f8
commit 0b6fd45
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/medusa.yaml b/.github/workflows/medusa.yaml
@@ -51,6 +51,7 @@ jobs:
       - name: Run Medusa for Internal ERC20 tests
         working-directory: tests/ERC20/foundry
         run: |
+          cd tests/ERC20/foundry
           medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
 
       - name: Run Medusa for External ERC20 tests

diff --git a/tests/ERC20/foundry/medusa-config.json b/tests/ERC20/foundry/medusa-config.json
@@ -22,7 +22,7 @@
 		"transactionGasLimit": 12500000,
 		"testing": {
 			"stopOnFailedTest": true,
-			"stopOnFailedContractMatching": false,
+			"stopOnFailedContractMatching": true,
 			"stopOnNoTests": true,
 			"testAllContracts": false,
 			"traceAll": false,