fixes

Author: gustavo-grieco

.github/workflows/medusa.yml

@@ -47,7 +47,6 @@ jobs:
           - name: Exercise 4
             workdir: program-analysis/echidna/exercises/exercise4/
             files: solution.sol
-            config: config.yaml
             contract: TestToken
             outcome: failure
             expected: 'transfer(address,uint256)\" failed after the following call sequence'
@@ -87,7 +86,7 @@ jobs:
             contract: C
             config: filter.yaml
             outcome: failure
-            expected: 'echidna_state4()\" resulted in an assertion failure after the following call sequence'
+            expected: 'echidna_state4()\" failed after the following call sequence'
           - name: Assert
             workdir: program-analysis/echidna/example/
             files: assert.sol

program-analysis/echidna/example/medusa.json

@@ -1,8 +1,10 @@
 {
 	"fuzzing": {
 		"testing": {
+			"assertionTesting": {
+                                "enabled": true
+			},
 			"propertyTesting": {
-				"enabled": true,
 				"testPrefixes": [
 					"echidna_"
 				]

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

@@ -1,12 +1,66 @@
 {
 	"fuzzing": {
+		"workers": 10,
+		"workerResetLimit": 50,
+		"timeout": 0,
+		"testLimit": 0,
+		"callSequenceLength": 100,
+		"corpusDirectory": "",
+		"coverageEnabled": true,
+		"targetContracts": [],
+		"targetContractsBalances": [],
+		"constructorArgs": {},
+		"deployerAddress": "0x30000",
+		"senderAddresses": [
+			"0x10000",
+			"0x20000",
+			"0x30000"
+		],
+		"blockNumberDelayMax": 60480,
+		"blockTimestampDelayMax": 604800,
+		"blockGasLimit": 125000000,
+		"transactionGasLimit": 12500000,
 		"testing": {
+			"stopOnFailedTest": true,
+			"stopOnFailedContractMatching": false,
+			"stopOnNoTests": true,
+			"testAllContracts": false,
+			"traceAll": false,
+			"assertionTesting": {
+				"enabled": true,
+				"testViewMethods": false,
+				"panicCodeConfig": {
+					"failOnCompilerInsertedPanic": false,
+					"failOnAssertion": true,
+					"failOnArithmeticUnderflow": false,
+					"failOnDivideByZero": false,
+					"failOnEnumTypeConversionOutOfBounds": false,
+					"failOnIncorrectStorageAccess": false,
+					"failOnPopEmptyArray": false,
+					"failOnOutOfBoundsArrayAccess": false,
+					"failOnAllocateTooMuchMemory": false,
+					"failOnCallUninitializedVariable": false
+				}
+			},
 			"propertyTesting": {
 				"enabled": true,
 				"testPrefixes": [
-					"echidna_"
+					"property_"
+				]
+			},
+			"optimizationTesting": {
+				"enabled": true,
+				"testPrefixes": [
+					"optimize_"
 				]
 			}
+		},
+		"chainConfig": {
+			"codeSizeCheckDisabled": true,
+			"cheatCodes": {
+				"cheatCodesEnabled": true,
+				"enableFFI": false
+			}
 		}
 	},
 	"compilation": {
@@ -17,5 +71,10 @@
 			"exportDirectory": "",
 			"args": []
 		}
+	},
+	"logging": {
+		"level": "info",
+		"logDirectory": "",
+		"noColor": false
 	}
-}
+}