minimal-test-erc20

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):

1. Install z3:

sudo apt install z3

2. Run SMTChecker:

solc ./test/SMTChecker.sol --model-checker-engine all