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

Merge pull request #712 from crytic/dev-buidler-erc20-props

Browse Source 
Enable the generation of ERC20 properties with BUIDLER
pull/1045/head
Feist Josselin 3 years ago committed by GitHub
parent 2b5de636bf 40a36d33e9
commit a382eb8d84
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 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. 3
      slither/tools/properties/properties/erc20.py

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

@ -78,6 +78,7 @@ def generate_erc20(
if contract.compilation_unit.core.crytic_compile.type not in [ if contract.compilation_unit.core.crytic_compile.type not in [
PlatformType.TRUFFLE, PlatformType.TRUFFLE,
PlatformType.SOLC, PlatformType.SOLC,
PlatformType.BUILDER,
]: ]:
logging.error( logging.error(
f"{contract.compilation_unit.core.crytic_compile.type} not yet supported by slither-prop" f"{contract.compilation_unit.core.crytic_compile.type} not yet supported by slither-prop"
@ -162,7 +163,7 @@ def _initialization_recommendation(type_property: str) -> str:
# TODO: move this to crytic-compile # TODO: move this to crytic-compile
def _platform_to_output_dir(platform: AbstractPlatform) -> Path: def _platform_to_output_dir(platform: AbstractPlatform) -> Path:
if platform.TYPE == PlatformType.TRUFFLE: if platform.TYPE == PlatformType.TRUFFLE or platform.TYPE == PlatformType.BUILDER:
return Path(platform.target, "contracts", "crytic") return Path(platform.target, "contracts", "crytic")
if platform.TYPE == PlatformType.SOLC: if platform.TYPE == PlatformType.SOLC:
return Path(platform.target).parent return Path(platform.target).parent

Write Preview
Loading…
Cancel
Save