mirror of
https://github.com/logos-messaging/logos-messaging-rlnv2-contract.git
synced 2026-01-02 14:03:07 +00:00
20 lines
907 B
YAML
20 lines
907 B
YAML
|
solcArgs: "--via-ir --optimize --optimize-runs 1"
|
||
|
|
testMode: property
|
||
|
|
testLimit: 100000 # For ~1 hour on strong CPU; adjust
|
||
|
|
seqLen: 100 # Sequence length for stateful fuzzing
|
||
|
|
shrinkLimit: 5000
|
||
|
|
corpusDir: corpus
|
||
|
|
deployContracts:
|
||
|
|
- ["0x0000000000000000000000000000000000001000", "PoseidonT3"]
|
||
|
|
- ["0x0000000000000000000000000000000000001001", "LazyIMT"]
|
||
|
|
cryticArgs:
|
||
|
|
- "--compile-libraries=(PoseidonT3,0x0000000000000000000000000000000000001000),(LazyIMT,0x0000000000000000000000000000000000001001)"
|
||
|
|
propMaxGas: 25000000
|
||
|
|
testMaxGas: 25000000
|
||
|
|
maxTimeDelay: 20000000 # ~231 days in seconds; set high to cover active (180 days / 15552000s) and grace (30 days / 2592000s) periods for expiration races
|
||
|
|
sender: ["0x10000", "0x20000", "0x30000", "0x40000"] # Multiple senders to simulate different users; expand if needed
|
||
|
|
balanceAddr: 100000000000000000000
|
||
|
|
coverage: true
|
||
|
|
quiet: false
|
||
|
|
projectName: "WakuRlnV2"
|