click below
click below
Normal Size Small Size show me how
Solidity by Example
Tests
Question | Answer |
---|---|
What is Echidna? | Echidna is a fuzzing / property-based testing tool for Ethereum Smart Contracts. |
How can Echidna be used for fuzzing? | To use Echidna for fuzzing, you can save the Solidity contract as TestEchidna.sol and execute the command echidna-test TestEchidna.sol --contract TestEchidna in the folder where the contract is stored. |
What can Echidna fuzz? | Echidna can fuzz timestamps. |
What are the default accounts for contract callers in the configuration? | The default accounts for contract callers in the configuration are 0x10000, 0x20000, and 0x00a329C0648769a73afAC7F9381e08fb43DBEA70. The range of timestamps is set in the configuration and is defaulted to 7 days. |
Where is the code stored in Docker? | Inside Docker, the code is stored at /code. |