From f6dbd95cb566423aa573ecccd2259aceb69e27a0 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 25 Nov 2018 16:38:14 +0530 Subject: [PATCH] Reformat files with black --- mythril/laser/ethereum/state/constraints.py | 2 +- mythril/laser/ethereum/svm.py | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py index b047583e..e3254d35 100644 --- a/mythril/laser/ethereum/state/constraints.py +++ b/mythril/laser/ethereum/state/constraints.py @@ -17,7 +17,7 @@ class Constraints(list): def check_possibility(self): if self.__possibility is None: - self.__possibility = (self.solver.check() != unsat) + self.__possibility = self.solver.check() != unsat if self.__possibility is False: self.solver = None return self.__possibility diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 14f0dea6..70dc6d2c 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -190,7 +190,11 @@ class LaserEVM: logging.debug("Encountered unimplemented instruction") continue - new_states = [state for state in new_states if state.mstate.constraints.check_possibility()] + new_states = [ + state + for state in new_states + if state.mstate.constraints.check_possibility() + ] self.manage_cfg(op_code, new_states)