From b1405f41d6c558dfac81f1b7945ff05f0ab3e995 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 11 Jul 2019 19:22:13 +0200 Subject: [PATCH] Start pruning from second iteration --- .../laser/ethereum/plugins/implementations/dependency_pruner.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py index 60e19c44..bb78fdd8 100644 --- 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