/minimal-test-erc20

This is a minimal ERC-20 implementation intended to be copied into test cases for other smart contracts.

Primary LanguageSolidity

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
  1. Run SMTChecker:
solc ./test/SMTChecker.sol --model-checker-engine all