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

apply substitution in restoration of previous state

Browse Source
feature/summary
Joran Honig 5 years ago
parent cd5964c5b2
commit 5865a10d52
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/laser/ethereum/plugins/implementations/summary/core.py

2
mythril/laser/ethereum/plugins/implementations/summary/core.py
Unescape View File

@ -155,6 +155,6 @@ class SymbolicSummaryPlugin(LaserPlugin):
"""Restores the previous persistent variables to the global state""" """Restores the previous persistent variables to the global state"""
for account in global_state.world_state.accounts: for account in global_state.world_state.accounts:
for og_storage, sym_storage in tracking_annotation.storage_pairs: for og_storage, sym_storage in tracking_annotation.storage_pairs:
account.storage.replace(sym_storage, og_storage) account.storage._standard_storage.substitute(sym_storage, og_storage)
for constraint in tracking_annotation.storage_constraints: for constraint in tracking_annotation.storage_constraints:
global_state.mstate.constraints.remove(constraint) global_state.mstate.constraints.remove(constraint)

Write Preview
Loading…
Cancel
Save