Refactor with black

pull/803/head
Nikhil Parasaram 6 years ago
parent 1c821acef6
commit ccf4eb6c26
  1. 2
      mythril/analysis/call_helpers.py
  2. 1
      mythril/analysis/modules/dependence_on_predictable_vars.py

@ -34,7 +34,7 @@ def get_call_from_state(state: GlobalState) -> Union[Call, None]:
to, to,
gas, gas,
value, value,
state.mstate.memory[meminstart.val: meminsz.val * 4], state.mstate.memory[meminstart.val : meminsz.val * 4],
) )
else: else:
return Call(state.node, state, None, op, to, gas, value) return Call(state.node, state, None, op, to, gas, value)

@ -142,6 +142,7 @@ def _analyze_states(state: GlobalState) -> list:
issues.append(issue) issues.append(issue)
break break
else: else:
r = re.search(r"storage_([a-z0-9_&^]+)", str(constraint)) r = re.search(r"storage_([a-z0-9_&^]+)", str(constraint))
if r: # block.blockhash(storage_0) if r: # block.blockhash(storage_0)

Loading…
Cancel
Save