Merge pull request #954 from crytic/dev-fix-erc20-burnable-prop

Fixed ERC20 burnable to use the correct properties

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',
     ),
 }