From d2ef90c4e65f55304c1d02e8aa02704c896a7a55 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 12 Jun 2019 12:06:45 +0200 Subject: [PATCH] Change log statement to debug --- .../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 1552569c..10d00f42 100644 --- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py +++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py @@ -159,7 +159,7 @@ class DependencyPruner(LaserPlugin): annotation = get_dependency_annotation(state) state.world_state.annotate(annotation) - log.info( + log.debug( "Adding new world state {} with dependency map:\n{}\nStorage indices written: {}".format( state.get_current_instruction()["address"], self.dependency_map,