/study-echidna

Primary LanguageHTML

Command to generate transactions:

echidna contract.sol --contract suicidewatch --test-mode exploration --corpus-dir out

Transactions are located at coverage

For example:

image