From c53d5e5f74cb4dade923e6197be2a2134f15cf14 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 1 Jun 2020 12:54:30 +0200 Subject: [PATCH] Black --- mythril/analysis/module/modules/user_assertions.py | 1 - mythril/laser/ethereum/state/constraints.py | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/mythril/analysis/module/modules/user_assertions.py b/mythril/analysis/module/modules/user_assertions.py index 24255a65..c869c97e 100644 --- a/mythril/analysis/module/modules/user_assertions.py +++ b/mythril/analysis/module/modules/user_assertions.py @@ -45,7 +45,6 @@ class UserAssertions(DetectionModule): self.cache.add(issue.address) self.issues.extend(issues) - def _analyze_state(self, state: GlobalState): """ diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py index 67f1b44e..69eaadf0 100644 --- a/mythril/laser/ethereum/state/constraints.py +++ b/mythril/laser/ethereum/state/constraints.py @@ -13,7 +13,7 @@ class Constraints(list): """ - def __init__(self, constraint_list: Optional[List[Bool]] = None,) -> None: + def __init__(self, constraint_list: Optional[List[Bool]] = None) -> None: """ :param constraint_list: List of constraints