2023-01-30 10:32:30 +01:00
|
|
|
# configure Echidna fuzzing tests
|
|
|
|
|
|
|
|
|
|
testMode: "assertion" # check that solidity asserts are never triggered
|
2023-05-30 15:38:08 +02:00
|
|
|
allContracts: true # allow calls to e.g. TestToken in test scenarios
|
2023-01-30 10:32:30 +01:00
|
|
|
format: "text" # disable interactive ui
|
2023-05-30 15:43:36 +02:00
|
|
|
|
|
|
|
|
# For a longer test run, consider these options:
|
|
|
|
|
# timeout: 3600 # limit test run to one hour
|
|
|
|
|
# testLimit: 100000000000 # do not limit the amount of test sequences
|
|
|
|
|
# stopOnFail: true # stop on first failure
|
|
|
|
|
# workers: 8 # use more cpu cores
|
