From 9cb5cf1595af8ae7a6aeff4776c7bd5c046b92a0 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Wed, 23 Oct 2019 15:22:11 +0200 Subject: [PATCH] print the actual amount of summaries that have been generated --- mythril/laser/ethereum/plugins/implementations/summary/core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/plugins/implementations/summary/core.py b/mythril/laser/ethereum/plugins/implementations/summary/core.py index ad180add..8fcf4e09 100644 --- a/mythril/laser/ethereum/plugins/implementations/summary/core.py +++ b/mythril/laser/ethereum/plugins/implementations/summary/core.py @@ -67,7 +67,7 @@ class SymbolicSummaryPlugin(LaserPlugin): @symbolic_vm.laser_hook("stop_sym_exec") def stop_sym_exec_hook(): # Print results - log.info("Generated 0 summaries") + log.info(f"Generated {len(self.summaries)} summaries") @symbolic_vm.laser_hook("execute_state") def execute_start_sym_trans_hook(global_state: GlobalState):