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,28 +6,36 @@
     "testLimit": 0,
     "shrinkLimit": 5000,
     "callSequenceLength": 100,
+    "pruneFrequency": 5,
     "corpusDirectory": "",
     "coverageEnabled": true,
-    "coverageFormats": ["html", "lcov"],
+    "coverageFormats": [
+      "html",
+      "lcov"
+    ],
+    "revertReporterEnabled": false,
     "targetContracts": [],
     "predeployedContracts": {},
     "targetContractsBalances": [],
     "constructorArgs": {},
     "deployerAddress": "0x30000",
-    "senderAddresses": ["0x10000", "0x20000", "0x30000"],
+    "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,
@@ -43,22 +51,35 @@
       },
       "propertyTesting": {
         "enabled": true,
-        "testPrefixes": ["echidna_"]
+        "testPrefixes": [
+          "echidna_"
+        ]
       },
       "optimizationTesting": {
         "enabled": true,
-        "testPrefixes": ["optimize_"]
+        "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 +91,11 @@
       "args": []
     }
   },
+  "slither": {
+    "useSlither": true,
+    "cachePath": "slither_results.json",
+    "args": []
+  },
   "logging": {
     "level": "info",
     "logDirectory": "",