This is a minimal ERC-20 implementation intended to be copied into test cases for other smart contracts.
Run static analysis using slither
:
slither ./ERC20.sol
Fuzz using forge
:
forge test
Run SMTChecker with solc
(only works on Linux or WSL for now):
- Install
z3
:
sudo apt install z3
- Run SMTChecker:
solc ./test/SMTChecker.sol --model-checker-engine all