Skip to content

Commit

Permalink
Black
Browse files Browse the repository at this point in the history
  • Loading branch information
webthethird committed Dec 23, 2022
1 parent c66f2dc commit 1965d26
Showing 1 changed file with 4 additions and 12 deletions.
16 changes: 4 additions & 12 deletions slither/tools/upgradeability/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -30,9 +30,7 @@
logger.setLevel(logging.INFO)


def parse_args(
check_classes: List[Type[AbstractCheck]]
) -> argparse.Namespace:
def parse_args(check_classes: List[Type[AbstractCheck]]) -> argparse.Namespace:
parser = argparse.ArgumentParser(
description="Slither Upgradeability Checks. For usage information see https://github.com/crytic/slither/wiki/Upgradeability-Checks.",
usage="slither-check-upgradeability contract.sol ContractName",
Expand Down Expand Up @@ -183,17 +181,11 @@ def choose_checks(
d for d in detectors_to_run if d.IMPACT != CheckClassification.INFORMATIONAL
]
if args.exclude_low:
detectors_to_run = [
d for d in detectors_to_run if d.IMPACT != CheckClassification.LOW
]
detectors_to_run = [d for d in detectors_to_run if d.IMPACT != CheckClassification.LOW]
if args.exclude_medium:
detectors_to_run = [
d for d in detectors_to_run if d.IMPACT != CheckClassification.MEDIUM
]
detectors_to_run = [d for d in detectors_to_run if d.IMPACT != CheckClassification.MEDIUM]
if args.exclude_high:
detectors_to_run = [
d for d in detectors_to_run if d.IMPACT != CheckClassification.HIGH
]
detectors_to_run = [d for d in detectors_to_run if d.IMPACT != CheckClassification.HIGH]

detectors_to_run = sorted(detectors_to_run, key=lambda x: x.IMPACT)
return detectors_to_run
Expand Down

0 comments on commit 1965d26

Please sign in to comment.