Suite of unit and fuzz tests for MakerDAO-style ERC20 tokens - View it on GitHub