From 990e84f66a84822ea373b96ee9ccec065cc4fc3a Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 19 May 2019 14:36:12 +0200 Subject: [PATCH] Re-add block_number class variable to environment --- mythril/laser/ethereum/state/environment.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mythril/laser/ethereum/state/environment.py b/mythril/laser/ethereum/state/environment.py index 0f467413..a3300f9a 100644 --- 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