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,