Reformat file with black

pull/717/head
Nikhil Parasaram 6 years ago
parent bc63040602
commit d808e8544f
  1. 4
      mythril/laser/ethereum/instructions.py

@ -86,7 +86,9 @@ class StateTransition(object):
global_state.mstate.check_gas() global_state.mstate.check_gas()
if isinstance(global_state.current_transaction.gas_limit, BitVecRef): if isinstance(global_state.current_transaction.gas_limit, BitVecRef):
try: try:
global_state.current_transaction.gas_limit = global_state.current_transaction.gas_limit.as_long() global_state.current_transaction.gas_limit = (
global_state.current_transaction.gas_limit.as_long()
)
except AttributeError: except AttributeError:
return return
if ( if (

Loading…
Cancel
Save