3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

move flushes in display_statistics (#6472)

This commit is contained in:
yizhou7 2022-12-02 16:56:53 -05:00 committed by GitHub
parent a96b7d243a
commit 54a8d65617
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -44,12 +44,12 @@ static void display_statistics() {
lock_guard lock(*display_stats_mux);
clock_t end_time = clock();
if (g_cmd_context && g_display_statistics) {
std::cout.flush();
std::cerr.flush();
if (g_cmd_context) {
g_cmd_context->set_regular_stream("stdout");
g_cmd_context->display_statistics(true, ((static_cast<double>(end_time) - static_cast<double>(g_start_time)) / CLOCKS_PER_SEC));
}
std::cout.flush();
std::cerr.flush();
}
}