Black

5 years ago · c53d5e5f74
parent f5c45bc66c
commit c53d5e5f74
2 changed files with 1 additions and 2 deletions
--- 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):
        """

--- 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