more medusa configs

Author: gustavo-grieco

.github/workflows/medusa.yml

@@ -84,28 +84,28 @@ jobs:
           - name: Multi
             workdir: program-analysis/echidna/example/
             files: multi.sol
+            contract: C
             config: filter.yaml
             outcome: failure
             expected: 'echidna_state4:\s*failed'
           - name: Assert
             workdir: program-analysis/echidna/example/
             files: assert.sol
             config: assert.yaml
+            contract: Incrementor
             outcome: failure
             expected: 'inc(uint256):\s*failed'
           - name: PopsicleBroken
             workdir: program-analysis/echidna/example/
             files: PopsicleBroken.sol
             solc-version: 0.8.4
-            config: Popsicle.yaml
             contract: PopsicleBroken
             outcome: failure
             expected: '\"PopsicleBroken.totalBalanceAfterTransferIsPreserved(address,uint256)\" resulted in an assertion failure after the following call sequence'
           - name: PopsicleFixed
             workdir: program-analysis/echidna/example/
             files: PopsicleFixed.sol
             solc-version: 0.8.4
-            config: Popsicle.yaml
             contract: PopsicleFixed
             outcome: success
             expected: '\[PASSED\] Assertion Test: PopsicleFixed.totalBalanceAfterTransferIsPreserved(address,uint256)'
@@ -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 --config medusa.json > ${{ matrix.files }}.out || true
+          medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} --no-color --test-limit 10000 --config medusa.json > ${{ matrix.files }}.out || true
 
       - name: Verify that the output is correct
         working-directory: ${{ matrix.workdir }}

program-analysis/echidna/exercises/exercise1/medusa.json

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

program-analysis/echidna/exercises/exercise2/medusa.json

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

program-analysis/echidna/exercises/exercise3/medusa.json

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

program-analysis/echidna/exercises/exercise4/medusa.json

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