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

Reverse the random commit from before

Browse Source
dependency_prune_v2
Bernhard Mueller 6 years ago
parent 1e07a32f0a
commit b463974b94
1 changed files with 0 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. 1
      mythril/laser/ethereum/plugins/implementations/dependency_pruner.py

1
mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
Unescape View File

@ -235,7 +235,6 @@ class DependencyPruner(LaserPlugin):
@symbolic_vm.pre_hook("SLOAD") @symbolic_vm.pre_hook("SLOAD")
def sload_hook(state: GlobalState): def sload_hook(state: GlobalState):
annotation = get_dependency_annotation(state) annotation = get_dependency_annotation(state)
location = state.mstate.stack[-1] location = state.mstate.stack[-1]

Write Preview
Loading…
Cancel
Save