Re-add block_number class variable to environment

6 years ago · 990e84f66a
parent 2a6b282eca
commit 990e84f66a
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/state/environment.py
+++ b/mythril/laser/ethereum/state/environment.py
@ -40,6 +40,7 @@ class Environment:
        self.active_function_name = ""

        self.address = active_account.address
+        self.block_number = symbol_factory.BitVecSym("block_number", 256)

        # Ib
        self.code = active_account.code if code is None else code