void ConsoleOutput::print(const Result &result) { std::cout<<"Total "<<result.TotalCount()<<" cases run, "\ <<result.FailCount()<<" cases failed, "\ <<"Total "<<result.TotalCheck()<<" checkpoints, "\ <<result.FailCheck()<<" checkpoints failed"<<std::endl; }