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.