TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

make typehint compatible with 3.5

Browse Source
pull/994/head
Joran Honig 6 years ago
parent 672fcd6c0d
commit 19c12ca685
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/analysis/modules/state_change_external_calls.py

2
mythril/analysis/modules/state_change_external_calls.py
Unescape View File

@ -126,7 +126,7 @@ class StateChange(DetectionModule):
# Record state changes following from a transfer of ether # Record state changes following from a transfer of ether
if op_code in ("CALL", "DELEGATECALL", "CALLCODE"): if op_code in ("CALL", "DELEGATECALL", "CALLCODE"):
value: BitVec = global_state.mstate.stack[-3] value = global_state.mstate.stack[-3] # type: BitVec
if StateChange._balance_change(value, global_state): if StateChange._balance_change(value, global_state):
for annotation in annotations: for annotation in annotations:
annotation.state_change_states.append(global_state) annotation.state_change_states.append(global_state)

Write Preview
Loading…
Cancel
Save