mirror of
https://github.com/0xbow-io/privacy-pools-core.git
synced 2026-01-10 09:58:00 -05:00
646e5508ce
- define properties and invariants - implement a Medusa-based fuzzing campaign --------- Co-authored-by: drgorillamd <83670532+drgorillamd@users.noreply.github.com> Co-authored-by: moebius <0xmoebius@protonmail.com>
98 lines
2.2 KiB
JSON
98 lines
2.2 KiB
JSON
{
|
|
"fuzzing": {
|
|
"workers": 10,
|
|
"workerResetLimit": 50,
|
|
"timeout": 0,
|
|
"testLimit": 0,
|
|
"shrinkLimit": 5000,
|
|
"callSequenceLength": 100,
|
|
"corpusDirectory": "test/invariants/fuzz/corpus",
|
|
"coverageEnabled": true,
|
|
"coverageFormats": [
|
|
"html",
|
|
"lcov"
|
|
],
|
|
"targetContracts": ["FuzzTest"],
|
|
"predeployedContracts": {
|
|
"Constants": "0xf01",
|
|
"ProofLib": "0xf02",
|
|
"PoseidonT3": "0xf03",
|
|
"PoseidonT4": "0xf04"
|
|
},
|
|
"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": true,
|
|
"panicCodeConfig": {
|
|
"failOnCompilerInsertedPanic": false,
|
|
"failOnAssertion": true,
|
|
"failOnArithmeticUnderflow": true,
|
|
"failOnDivideByZero": false,
|
|
"failOnEnumTypeConversionOutOfBounds": false,
|
|
"failOnIncorrectStorageAccess": false,
|
|
"failOnPopEmptyArray": false,
|
|
"failOnOutOfBoundsArrayAccess": false,
|
|
"failOnAllocateTooMuchMemory": false,
|
|
"failOnCallUninitializedVariable": false
|
|
}
|
|
},
|
|
"propertyTesting": {
|
|
"enabled": false,
|
|
"testPrefixes": [
|
|
"property_"
|
|
]
|
|
},
|
|
"optimizationTesting": {
|
|
"enabled": false,
|
|
"testPrefixes": [
|
|
"optimize_"
|
|
]
|
|
},
|
|
"targetFunctionSignatures": [],
|
|
"excludeFunctionSignatures": []
|
|
},
|
|
"chainConfig": {
|
|
"codeSizeCheckDisabled": true,
|
|
"cheatCodes": {
|
|
"cheatCodesEnabled": true,
|
|
"enableFFI": false
|
|
},
|
|
"skipAccountChecks": true
|
|
}
|
|
},
|
|
"compilation": {
|
|
"platform": "crytic-compile",
|
|
"platformConfig": {
|
|
"target": "test/invariants/fuzz/FuzzTest.t.sol",
|
|
"solcVersion": "",
|
|
"exportDirectory": "",
|
|
"args": [
|
|
"--foundry-compile-all",
|
|
"--compile-libraries=(Constants,0xf01),(ProofLib,0xf02),(PoseidonT3,0xf03),(PoseidonT4,0xf04)"
|
|
]
|
|
}
|
|
},
|
|
"logging": {
|
|
"level": "info",
|
|
"logDirectory": "",
|
|
"noColor": false
|
|
}
|
|
}
|