From bbbf79e538ec6c68f5f30dec7f10b466cd6b90fa Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Mon, 27 Jan 2025 10:33:32 +0100
Subject: [PATCH] Update the medusa.json config to make sure multi.sol is
 solved  (#383)

* Update the medusa.json config to make sure multi.sol is solved

* Update medusa.json
---
 program-analysis/echidna/example/medusa.json | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/program-analysis/echidna/example/medusa.json b/program-analysis/echidna/example/medusa.json
index a8a951b9..b9696b2a 100644
--- a/program-analysis/echidna/example/medusa.json
+++ b/program-analysis/echidna/example/medusa.json
@@ -4,10 +4,13 @@
     "workerResetLimit": 50,
     "timeout": 0,
     "testLimit": 0,
+    "shrinkLimit": 5000,
     "callSequenceLength": 100,
     "corpusDirectory": "",
     "coverageEnabled": true,
+    "coverageFormats": ["html", "lcov"],
     "targetContracts": [],
+    "predeployedContracts": {},
     "targetContractsBalances": [],
     "constructorArgs": {},
     "deployerAddress": "0x30000",
@@ -43,16 +46,19 @@
         "testPrefixes": ["echidna_"]
       },
       "optimizationTesting": {
-        "enabled": false,
+        "enabled": true,
         "testPrefixes": ["optimize_"]
-      }
+      },
+      "targetFunctionSignatures": [],
+      "excludeFunctionSignatures": []
     },
     "chainConfig": {
       "codeSizeCheckDisabled": true,
       "cheatCodes": {
         "cheatCodesEnabled": true,
         "enableFFI": false
-      }
+      },
+      "skipAccountChecks": true
     }
   },
   "compilation": {