added generic medusa config

Author: gustavo-grieco

.github/workflows/medusa.yml

@@ -171,7 +171,7 @@ jobs:
         run: |
           solc-select install ${{ matrix.solc-version || '0.8.0' }}
           solc-select use ${{ matrix.solc-version || '0.8.0' }}
-          medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} --no-color > ${{ matrix.files }}.out || true
+          medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} --no-color --config medusa.json > ${{ matrix.files }}.out || true
 
       - name: Verify that the output is correct
         working-directory: ${{ matrix.workdir }}

program-analysis/echidna/example/medusa.json

@@ -0,0 +1,21 @@
+{
+	"fuzzing": {
+		"testing": {
+			"propertyTesting": {
+				"enabled": true,
+				"testPrefixes": [
+					"echidna_"
+				]
+			}
+		}
+	},
+	"compilation": {
+		"platform": "crytic-compile",
+		"platformConfig": {
+			"target": ".",
+			"solcVersion": "",
+			"exportDirectory": "",
+			"args": []
+		}
+	}
+}