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: 100
  • 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.

• dashboard

  • Type: Bool
  • Default: True
  • Description: Show the ncurses dashboard with real-time information on the properties to test during the fuzzing campaign.

• style

  • Type: String
  • Default: "text"
  • Description: Select an UI to show the results of each test.
    • "text": simple textual interface.
    • "json": JSON output.
    • "none": no output

• initialBalance

  • Type: Int
  • Default: 0xffffffff
  • Description: Initial Ether balance of deployer and each of the sender accounts.