Revert changes in storage file

5 years ago · 3575ceb452
parent 756fa94dd2
commit 3575ceb452
1 changed files with 2 additions and 2 deletions
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@ -29,9 +29,9 @@ class Storage:
        :param concrete: bool indicating whether to interpret uninitialized storage as concrete versus symbolic
        """
        if concrete:
-            self._standard_storage = K(512, 256, 0)  # type: BaseArray
+            self._standard_storage = K(256, 256, 0)  # type: BaseArray
        else:
-            self._standard_storage = Array("Storage", 512, 256)
+            self._standard_storage = Array("Storage", 256, 256)
        self._map_storage = {}  # type: Dict[BitVec, BaseArray]

        self.printable_storage = {}  # type: Dict[BitVec, BitVec]