updated medusa config

crytic · May 28, 2024 · d237e2b · d237e2b
1 parent f4828ee
commit d237e2b
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 12 deletions.
diff --git a/tests/ERC20/foundry/medusa-config-ext.json b/tests/ERC20/foundry/medusa-config-ext.json
@@ -7,7 +7,8 @@
 		"callSequenceLength": 100,
 		"corpusDirectory": "tests/medusa-corpus-ext",
 		"coverageEnabled": true,
-		"deploymentOrder": [],
+		"targetContracts": [],
+		"targetContractsBalances": [],
 		"constructorArgs": {},
 		"deployerAddress": "0x10000",
 		"senderAddresses": [
@@ -21,19 +22,30 @@
 		"transactionGasLimit": 12500000,
 		"testing": {
 			"stopOnFailedTest": true,
-			"stopOnFailedContractMatching": true,
+			"stopOnFailedContractMatching": false,
 			"stopOnNoTests": true,
 			"testAllContracts": false,
-			"onlyCallFromDeploymentOrder": false,
 			"traceAll": false,
 			"assertionTesting": {
 				"enabled": true,
-				"testViewMethods": false
+				"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": false,
 				"testPrefixes": [
-					"fuzz_"
+					"property_"
 				]
 			},
 			"optimizationTesting": {
@@ -59,5 +71,10 @@
 			"exportDirectory": "",
 			"args": []
 		}
+	},
+	"logging": {
+		"level": "info",
+		"logDirectory": "",
+		"noColor": false
 	}
-}
+}
diff --git a/tests/ERC20/foundry/medusa-config.json b/tests/ERC20/foundry/medusa-config.json
@@ -7,7 +7,8 @@
 		"callSequenceLength": 100,
 		"corpusDirectory": "tests/medusa-corpus",
 		"coverageEnabled": true,
-		"deploymentOrder": [],
+		"targetContracts": [],
+		"targetContractsBalances": [],
 		"constructorArgs": {},
 		"deployerAddress": "0x10000",
 		"senderAddresses": [
@@ -21,19 +22,30 @@
 		"transactionGasLimit": 12500000,
 		"testing": {
 			"stopOnFailedTest": true,
-			"stopOnFailedContractMatching": true,
+			"stopOnFailedContractMatching": false,
 			"stopOnNoTests": true,
 			"testAllContracts": false,
-			"onlyCallFromDeploymentOrder": false,
 			"traceAll": false,
 			"assertionTesting": {
 				"enabled": true,
-				"testViewMethods": false
+				"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": false,
 				"testPrefixes": [
-					"fuzz_"
+					"property_"
 				]
 			},
 			"optimizationTesting": {
@@ -59,5 +71,10 @@
 			"exportDirectory": "",
 			"args": []
 		}
+	},
+	"logging": {
+		"level": "info",
+		"logDirectory": "",
+		"noColor": false
 	}
-}
+}