Config

Parameter	Type	Default	Description
testLimit	Int	10000	Number of sequences of transactions to generate during testing.
seqLen	Int	10	Number of transactions to generate during testing.
shrinkLimit	Int	5000	Number of tries to attempt to shrink a failing sequence of transactions.
contractAddr	Address	"0x00a329c0648769a73afac7f9381e08fb43dbea72"	Address to deploy the contract to test.
deployer	Address	"0x00a329c0648769a73afac7f9381e08fb43dbea70"	Address of the deployer of the contract to test.
sender	[Address]	["0x00a329c0648769a73afac7f9381e08fb43dbea70"]	List of adresses to (randomly) use during for the transactions sent during testing.
psender	Address	"0x00a329c0648769a73afac7f9381e08fb43dbea70"	Address of the sender of the property to test.
prefix	String	"echidna_"	Prefix of the function names used as properties in the contract to test.
solcArgs	String	""	Additional arguments to use in solc for the compilation of the contract to test.
quiet	Bool	False	Hide solc stderr output and additional information during the testing.