Merge branch 'dev' of github.com:crytic/slither into issue-1029

3 years ago · f4df89bf80
parent 731aa4d46d feac84d7f7
commit f4df89bf80
1 changed files with 1 additions and 1 deletions
--- a/slither/tools/properties/properties/erc20.py
+++ b/slither/tools/properties/properties/erc20.py
@ -163,7 +163,7 @@ def _initialization_recommendation(type_property: str) -> str:

 # TODO: move this to crytic-compile
 def _platform_to_output_dir(platform: AbstractPlatform) -> Path:
-    if platform.TYPE == PlatformType.TRUFFLE or platform.TYPE == PlatformType.BUILDER:
+    if platform.TYPE in [PlatformType.TRUFFLE, platform.TYPE == PlatformType.BUILDER]:
        return Path(platform.target, "contracts", "crytic")
    if platform.TYPE == PlatformType.SOLC:
        return Path(platform.target).parent