Start pruning from second iteration

5 years ago · b1405f41d6
parent 47a308fa39
commit b1405f41d6
1 changed files with 1 additions and 1 deletions
--- 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