Config

Parameters in the configuration file

• testLimit

  • Type: Int
  • Default: 10000
  • Description: Number of sequences of transactions to generate during testing.

• seqLen

  • Type: Int
  • Default: 10
  • Description: Number of transactions to generate during testing.

• shrinkLimit

  • Type: Int
  • Default: 5000
  • Description: Number of tries to attempt to shrink a failing sequence of transactions.

• contractAddr

  • Type: Address
  • Default: "0x00a329c0648769a73afac7f9381e08fb43dbea72"
  • Description: Address to deploy the contract to test.

• deployer

  • Type: Address
  • Default: "0x00a329c0648769a73afac7f9381e08fb43dbea70"
  • Description: Address of the deployer of the contract to test.

• sender

  • Type: [Address]
  • Default: ["0x00a329c0648769a73afac7f9381e08fb43dbea70"]
  • Description: List of addresses to (randomly) use during for the transactions sent during testing.

• psender

  • Type: Address
  • Default: "0x00a329c0648769a73afac7f9381e08fb43dbea70"
  • Description: Address of the sender of the property to test.

• prefix

  • Type: String
  • Default: "echidna_"
  • Description: Prefix of the function names used as properties in the contract to test.

• solcArgs

  • Type: String
  • Default: ""
  • Description: Additional arguments to use in solc for the compilation of the contract to test.

• quiet

  • Type: Bool
  • Default: False
  • Description: Hide solc stderr output and additional information during the testing.