From 079b8a70da18c944ecbbb9973518a6fd46367bfc Mon Sep 17 00:00:00 2001 From: Eric N Date: Tue, 17 Sep 2019 23:00:02 -0700 Subject: [PATCH] Ran black. TODO: Fix issue with storage. --- 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 09ea0a2b..e91862b7 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1800,7 +1800,9 @@ class Instruction: call_value, mem_offset, mem_size = global_state.mstate.pop(3) call_data = get_call_data(global_state, mem_offset, mem_offset + mem_size) if global_state.last_return_data: - return_val = symbol_factory.BitVecVal(int(global_state.last_return_data, 16), 256) + return_val = symbol_factory.BitVecVal( + int(global_state.last_return_data, 16), 256 + ) else: return_val = symbol_factory.BitVecVal(0, 256) global_state.mstate.stack.append(return_val) @@ -1824,7 +1826,9 @@ class Instruction: call_value, mem_offset, mem_size, salt = global_state.mstate.pop(4) call_data = get_call_data(global_state, mem_offset, mem_offset + mem_size) if global_state.last_return_data: - return_val = symbol_factory.BitVecVal(int(global_state.last_return_data), 256) + return_val = symbol_factory.BitVecVal( + int(global_state.last_return_data), 256 + ) else: return_val = symbol_factory.BitVecVal(0, 256) global_state.mstate.stack.append(return_val)