Check your token's full functional compliance with the ERC20 standard, before deploying it on mainnet.

We run symbolic tests, written in Solidity, that encode every possible input for ERC20 approve, transfer and transferFrom functions.