diff --git a/slither/tools/properties/properties/erc20.py b/slither/tools/properties/properties/erc20.py index dd13e3a0f..537cf3547 100644 --- a/slither/tools/properties/properties/erc20.py +++ b/slither/tools/properties/properties/erc20.py @@ -9,7 +9,10 @@ from crytic_compile.platform import Type as PlatformType from slither.core.declarations import Contract from slither.tools.properties.addresses.address import Addresses from slither.tools.properties.platforms.echidna import generate_echidna_config -from slither.tools.properties.properties.ercs.erc20.properties.burn import ERC20_NotBurnable +from slither.tools.properties.properties.ercs.erc20.properties.burn import ( + ERC20_NotBurnable, + ERC20_Burnable, +) from slither.tools.properties.properties.ercs.erc20.properties.initialization import ERC20_CONFIG from slither.tools.properties.properties.ercs.erc20.properties.mint import ERC20_NotMintable from slither.tools.properties.properties.ercs.erc20.properties.mint_and_burn import ( @@ -44,7 +47,7 @@ ERC20_PROPERTIES = { ), "NotBurnable": PropertyDescription(ERC20_NotBurnable, "Test that no one can burn tokens"), "Burnable": PropertyDescription( - ERC20_NotBurnable, + ERC20_Burnable, 'Test the burn of tokens. Require the "burn(address) returns()" function', ), }