From e213fd68a1f057c7de8714d6076560f3c534c7f9 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 4 Dec 2018 00:09:53 +0530 Subject: [PATCH] Format file with black --- mythril/laser/ethereum/instructions.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 4b2eeca1..dd3a6a39 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -983,8 +983,12 @@ class Instruction: for keccak_key in keccak_keys: key_argument = keccak_function_manager.get_argument(keccak_key) index_argument = keccak_function_manager.get_argument(index) - condition = (key_argument == index_argument) - condition = condition if type(condition) == bool else is_true(simplify(condition)) + condition = key_argument == index_argument + condition = ( + condition + if type(condition) == bool + else is_true(simplify(condition)) + ) if condition: return self._sstore_helper( copy(global_state),