From 4f257422b8391609138da6b5f2c30b062e81098e Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 25 Jun 2019 23:00:19 +0530 Subject: [PATCH] Rename print_storage variable --- mythril/laser/ethereum/state/account.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index 696f7016..bd594e8d 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -26,7 +26,7 @@ class Storage: self._standard_storage = Array("Storage", 256, 256) self._map_storage = {} - self.print_storage = {} # type: Dict[BitVec, BitVec] + self.printable_storage = {} # type: Dict[BitVec, BitVec] self.dynld = dynamic_loader self.address = address @@ -52,7 +52,7 @@ class Storage: ), 256, ) - self.print_storage[item] = storage[item] + self.printable_storage[item] = storage[item] return storage[item] except ValueError: pass @@ -87,7 +87,7 @@ class Storage: def __setitem__(self, key, value: Any) -> None: storage = self._get_corresponding_storage(key) - self.print_storage[key] = value + self.printable_storage[key] = value storage[key] = value def __deepcopy__(self, memodict={}): @@ -97,12 +97,12 @@ class Storage: ) storage._standard_storage = deepcopy(self._standard_storage) storage._map_storage = deepcopy(self._map_storage) - storage.print_storage = copy(self.print_storage) + storage.print_storage = copy(self.printable_storage) return storage def __str__(self) -> str: # TODO: Do something better here - return str(self.print_storage) + return str(self.printable_storage) class Account: