| 62 | } |
| 63 | |
| 64 | static void |
| 65 | _writeTimerLogLine(const dmtcp::string &name, double time) |
| 66 | { |
| 67 | static std::ofstream logfile("jtimings.csv", std::ios::out | std::ios::app); |
| 68 | |
| 69 | logfile << _testName() << ',' << name << ',' << time << std::endl; |
| 70 | JASSERT_STDERR << "JTIMER(" << name << ") : " << time << '\n'; |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | void |