Fix TestERC20Token decimals type (uint256->uint8)

crytic / properties

Pre-built security properties for common Ethereum operations

GNU Affero General Public License v3.0

287 stars 44 forks source link

Closed aviggiano closed 1 year ago

aviggiano commented 1 year ago

Fixes TestERC20Token.decimals ERC-20 type (from uint256 to uint8)

montyly commented 1 year ago

good catch, thanks @aviggiano