Lines Matching refs:print_summary
747 void print_summary(const char* suitename) const830 get_reporter().print_summary(m_ts.name());
