Add node reference to world state, this will in the future be used to link multiple transactions

6 years ago · cb74e187a4
parent 105053365f
commit cb74e187a4
1 changed files with 2 additions and 1 deletions
--- a/mythril/laser/ethereum/state.py
+++ b/mythril/laser/ethereum/state.py
@ -167,6 +167,7 @@ class WorldState:
        Constructor for the world state. Initializes the accounts record
        """
        self.accounts = {}
        self.node = None
    def __getitem__(self, item):
        """