print the actual amount of summaries that have been generated

5 years ago · 9cb5cf1595
parent 4e3a03078a
commit 9cb5cf1595
1 changed files with 1 additions and 1 deletions
--- 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):