diff options
Diffstat (limited to 'support/lib/Support/Timer.cpp')
| -rw-r--r-- | support/lib/Support/Timer.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/support/lib/Support/Timer.cpp b/support/lib/Support/Timer.cpp index 3a81fc4b53..96d92f9719 100644 --- a/support/lib/Support/Timer.cpp +++ b/support/lib/Support/Timer.cpp @@ -221,8 +221,9 @@ void TimerGroup::removeTimer() { std::cerr << "===" << std::string(73, '-') << "===\n" << std::string(Padding, ' ') << Name << "\n" << "===" << std::string(73, '-') - << "===\n Total Execution Time: " << Total.getProcessTime() - << " seconds (" << Total.getWallTime() + << "===\n Total Execution Time: " << std::fixed + << Total.getProcessTime() + << " seconds (" << Total.getWallTime() << std::scientific << " wall clock)\n\n"; if (Total.UserTime) |