TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update erc20.py

Browse Source
pull/954/head
Gustavo Grieco 3 years ago committed by GitHub
parent f110a9b8da
commit e740664aba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 5
      slither/tools/properties/properties/erc20.py

5
slither/tools/properties/properties/erc20.py
Unescape View File

@ -9,7 +9,10 @@ from crytic_compile.platform import Type as PlatformType
from slither.core.declarations import Contract from slither.core.declarations import Contract
from slither.tools.properties.addresses.address import Addresses from slither.tools.properties.addresses.address import Addresses
from slither.tools.properties.platforms.echidna import generate_echidna_config from slither.tools.properties.platforms.echidna import generate_echidna_config
from slither.tools.properties.properties.ercs.erc20.properties.burn import ERC20_NotBurnable, ERC20_Burnable 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.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 import ERC20_NotMintable
from slither.tools.properties.properties.ercs.erc20.properties.mint_and_burn import ( from slither.tools.properties.properties.ercs.erc20.properties.mint_and_burn import (

Write Preview
Loading…
Cancel
Save