Merge branch 'develop' of github.com:ConsenSys/mythril into fix/addr_field

5 years ago · e7605bb0a6
parent 7d9194a06c 8def32cb38
commit e7605bb0a6
2 changed files with 2 additions and 2 deletions
--- a/mythril/version.py
+++ b/mythril/version.py
@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
 as for importing into Python.
 """

-__version__ = "v0.21.8"
+__version__ = "v0.21.9"
--- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
@ -301,7 +301,7 @@ class DependencyPruner(LaserPlugin):
             """

            # Don't skip any blocks in the contract creation transaction
-            if self.iteration < 1:
+            if self.iteration < 2:
                return

            # Don't skip newly discovered blocks