diff --git a/tests/ERC20/foundry/medusa-config-ext.json b/tests/ERC20/foundry/medusa-config-ext.json index 2498b74..33a6791 100644 --- 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 } -} +} \ No newline at end of file diff --git a/tests/ERC20/foundry/medusa-config.json b/tests/ERC20/foundry/medusa-config.json index ff58561..0a7a27d 100644 --- 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 } -} +} \ No newline at end of file