Update medusa config file, fix multi.sol medusa test

Author: elopez

.github/workflows/medusa.yml

@@ -84,13 +84,11 @@ jobs:
             workdir: program-analysis/echidna/example/
             files: multi.sol
             contract: C
-            config: filter.yaml
             outcome: failure
             expected: 'echidna_state4()\" failed after the following call sequence'
           - name: Assert
             workdir: program-analysis/echidna/example/
             files: assert.sol
-            config: assert.yaml
             contract: Incrementor
             outcome: failure
             expected: 'inc(uint256)\" resulted in an assertion failure after the following call sequence'
@@ -112,7 +110,6 @@ jobs:
             workdir: program-analysis/echidna/example/
             files: TestDepositWithPermit.sol
             solc-version: 0.8.0
-            config: testdeposit.yaml
             contract: TestDepositWithPermit
             outcome: success
             expected: '\[PASSED\] Assertion Test: TestDepositWithPermit.testERC20PermitDeposit(uint256)'
@@ -162,7 +159,7 @@ jobs:
           go build -o medusa -v .
           go install -v .
           sudo cp medusa /usr/bin
-          pip install crytic-compile solc-select
+          pip install crytic-compile solc-select slither-analyzer
 
       - name: Run Medusa
         continue-on-error: true

program-analysis/echidna/example/medusa.json

@@ -6,9 +6,11 @@
     "testLimit": 0,
     "shrinkLimit": 5000,
     "callSequenceLength": 100,
+    "pruneFrequency": 5,
     "corpusDirectory": "",
     "coverageEnabled": true,
     "coverageFormats": ["html", "lcov"],
+    "revertReporterEnabled": false,
     "targetContracts": [],
     "predeployedContracts": {},
     "targetContractsBalances": [],
@@ -17,17 +19,16 @@
     "senderAddresses": ["0x10000", "0x20000", "0x30000"],
     "blockNumberDelayMax": 60480,
     "blockTimestampDelayMax": 604800,
-    "blockGasLimit": 125000000,
     "transactionGasLimit": 12500000,
     "testing": {
       "stopOnFailedTest": true,
       "stopOnFailedContractMatching": false,
       "stopOnNoTests": true,
       "testAllContracts": false,
-      "traceAll": false,
+      "testViewMethods": true,
+      "verbosity": 1,
       "assertionTesting": {
         "enabled": true,
-        "testViewMethods": false,
         "panicCodeConfig": {
           "failOnCompilerInsertedPanic": false,
           "failOnAssertion": true,
@@ -50,15 +51,21 @@
         "testPrefixes": ["optimize_"]
       },
       "targetFunctionSignatures": [],
-      "excludeFunctionSignatures": []
+      "excludeFunctionSignatures": ["C.reset1()", "C.reset2()"]
     },
     "chainConfig": {
       "codeSizeCheckDisabled": true,
       "cheatCodes": {
         "cheatCodesEnabled": true,
         "enableFFI": false
       },
-      "skipAccountChecks": true
+      "skipAccountChecks": true,
+      "forkConfig": {
+        "forkModeEnabled": false,
+        "rpcUrl": "",
+        "rpcBlock": 1,
+        "poolSize": 20
+      }
     }
   },
   "compilation": {
@@ -70,6 +77,11 @@
       "args": []
     }
   },
+  "slither": {
+    "useSlither": true,
+    "cachePath": "slither_results.json",
+    "args": []
+  },
   "logging": {
     "level": "info",
     "logDirectory": "",