Searched refs:covlog (Results 1 – 1 of 1) sorted by relevance
5597 std::ofstream covlog("covlog.txt", std::ios::app); in Main() local5598 covlog << iteration_counter << "\t" << tot << "\t" in Main()