single-file-mode

Quick Start

To start fuzzing a single contract, e.g., HoloToken.solin the ./sample_contracts folder the came with the release, execute the following command.

*Note, the command is meant to be executed in the same directory where the magic_mirrorexecutable resides.

./magic_mirror single-file-mode --contract_dir ./sample_contracts/HoloToken.sol

The fuzzing result will be saved in ./report/<contract file name>/ folder by default, e.g. ./report/HoloToken.sol/. The reports are saved in the format of <contract file name>:<contract name>.<report type>.