Install foundry, then run forge install
and make build
to compile the contracts. See package.json & makefile for the full list of commands/scripts
make lint
make test
- compile & test the contracts
make trace
- produces a trace of any failing tests
slither src/VestingModule.sol
slither src/VestingModuleFactory.sol
docker run -it --rm -v$(pwd):/home/mythril mythril/myth -v4 analyze src/VestingModule.sol --solc-json mythril.config.json --solv 0.8.13
docker run -it --rm -v$(pwd):/home/mythril mythril/myth -v4 analyze src/VestingModuleFactory.sol --solc-json mythril.config.json --solv 0.8.13