To run the test, copy the above file to the root folder of medusa-demo and run
medusa fuzz --config 0x3618516f45cd3c913f81f9987af41077932bc40d_medusa_config.json
Created
April 28, 2025 03:39
-
-
Save cassc/209bf15608b051defb5bf18011db9d8d to your computer and use it in GitHub Desktop.
Testing GPU medusa-8540e1916792944c22a204e31c9b2c4970abad91
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "fuzzing": { | |
| "workers": 10, | |
| "workerResetLimit": 50, | |
| "timeout": 60, | |
| "testLimit": 1000, | |
| "callSequenceLength": 5, | |
| "corpusDirectory": "", | |
| "coverageEnabled": true, | |
| "coverageReports": [ | |
| "html" | |
| ], | |
| "targetContracts": [ | |
| "Peculium" | |
| ], | |
| "targetContractsBalances": [ | |
| "0x0" | |
| ], | |
| "constructorArgs": {}, | |
| "predeployedContracts": {}, | |
| "deployerAddress": "0x30000", | |
| "senderAddresses": [ | |
| "0x10000", | |
| "0x20000", | |
| "0x30000" | |
| ], | |
| "blockNumberDelayMax": 60480, | |
| "blockTimestampDelayMax": 604800, | |
| "blockGasLimit": 125000000, | |
| "transactionGasLimit": 12500000, | |
| "testing": { | |
| "stopOnFailedTest": false, | |
| "stopOnFailedContractMatching": false, | |
| "stopOnNoTests": true, | |
| "testAllContracts": false, | |
| "traceAll": false, | |
| "assertionTesting": { | |
| "enabled": true, | |
| "testViewMethods": true, | |
| "panicCodeConfig": { | |
| "failOnCompilerInsertedPanic": false, | |
| "failOnAssertion": true, | |
| "failOnArithmeticUnderflow": true, | |
| "failOnDivideByZero": false, | |
| "failOnEnumTypeConversionOutOfBounds": false, | |
| "failOnIncorrectStorageAccess": false, | |
| "failOnPopEmptyArray": false, | |
| "failOnOutOfBoundsArrayAccess": false, | |
| "failOnAllocateTooMuchMemory": false, | |
| "failOnCallUninitializedVariable": false | |
| } | |
| }, | |
| "propertyTesting": { | |
| "enabled": true, | |
| "testPrefixes": [ | |
| "property_" | |
| ] | |
| }, | |
| "optimizationTesting": { | |
| "enabled": false, | |
| "testPrefixes": [ | |
| "optimize_" | |
| ] | |
| } | |
| }, | |
| "chainConfig": { | |
| "codeSizeCheckDisabled": true, | |
| "cheatCodes": { | |
| "cheatCodesEnabled": true, | |
| "enableFFI": false | |
| } | |
| } | |
| }, | |
| "compilation": { | |
| "platform": "crytic-compile", | |
| "platformConfig": { | |
| "target": "./B3/0x3618516f45cd3c913f81f9987af41077932bc40d.sol", | |
| "solcVersion": "0.4.19", | |
| "exportDirectory": "", | |
| "args": [] | |
| } | |
| }, | |
| "logging": { | |
| "level": "info", | |
| "logDirectory": "", | |
| "noColor": false | |
| } | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment