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
crytic · Jan 27, 2025 · bbbf79e · bbbf79e
1 parent 781a325
commit bbbf79e
Showing 1 changed file with 9 additions and 3 deletions.
diff --git 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": {