Searched refs:log_stats (Results 1 – 16 of 16) sorted by relevance
103 void log_stats (logger *logger) const;
164 trimmed_graph::log_stats (logger *logger) const in log_stats() function in ana::trimmed_graph
205 void log_stats (logger *logger) const;
289 feasible_graph::log_stats (logger *logger) const in log_stats() function in ana::feasible_graph
1754 region_model_manager::log_stats (logger *logger, bool show_objs) const in log_stats() function in ana::region_model_manager1803 m_store_mgr.log_stats (logger, show_objs); in log_stats()1804 m_range_mgr->log_stats (logger, show_objs); in log_stats()1813 store_manager::log_stats (logger *logger, bool show_objs) const in log_stats() function in ana::store_manager
187 void log_stats (logger *logger, bool show_objs) const;
349 void log_stats (logger *logger, bool show_objs) const;1278 void log_stats (logger *logger) const;
817 void log_stats (logger *logger, bool show_objs) const;
866 void log_stats () const;
429 tg.log_stats (logger); in explore_feasible_paths()434 fg.log_stats (logger); in explore_feasible_paths()
654 (region_model_manager::log_stats): Log822 (region_model_manager::log_stats): Handle m_bit_range_regions.897 * constraint-manager.cc (bounded_ranges_manager::log_stats):1446 (bounded_ranges_manager::log_stats): New.1511 (region_model_manager::log_stats): Call log_stats on it.1669 (region_model_manager::log_stats): Log m_asm_output_values_map.2176 (region_model_manager::log_stats): Update for addition of4816 (exploded_graph::log_stats): Call engine::log_stats.5342 (engine::log_stats): New.6289 (exploded_graph::log_stats): Log the number of unprocessed enodes
4183 exploded_graph::log_stats () const in log_stats() function in ana::exploded_graph4191 m_ext_state.get_engine ()->log_stats (logger); in log_stats()5834 eg.log_stats (); in impl_run_checkers()
4486 engine::log_stats (logger *logger) const in log_stats() function in engine4488 m_mgr.log_stats (logger, true); in log_stats()
1031 bounded_ranges_manager::log_stats (logger *logger, bool show_objs) const in log_stats() function in ana::bounded_ranges_manager
783 void log_stats () const;
2734 exploded_graph::log_stats () const in log_stats() function in ana::exploded_graph4047 eg.log_stats (); in impl_run_checkers()