Skip to content

Latest commit

 

History

History
29 lines (15 loc) · 800 Bytes

README.md

File metadata and controls

29 lines (15 loc) · 800 Bytes

splits-vesting

Docs

Install foundry, then run forge install and make build to compile the contracts. See package.json & makefile for the full list of commands/scripts

lint

make lint

test

make test - compile & test the contracts

make trace - produces a trace of any failing tests

other tests

slither

slither src/VestingModule.sol

slither src/VestingModuleFactory.sol

mythril

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