mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-05-18 19:47:13 -07:00
parent d26ef08c69
commit e525543bd0
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/shell/smtlib_frontend.cpp
View file

@ -22,6 +22,7 @@ Revision History:
#include<time.h> #include<time.h>
#include<signal.h> #include<signal.h>
#include "util/timeout.h" #include "util/timeout.h"
#include "util/mutex.h"
#include "parsers/smt2/smt2parser.h" #include "parsers/smt2/smt2parser.h"
#include "muz/fp/dl_cmds.h" #include "muz/fp/dl_cmds.h"
#include "cmd_context/extra_cmds/dbg_cmds.h" #include "cmd_context/extra_cmds/dbg_cmds.h"
@ -31,14 +32,14 @@ Revision History:
#include "smt/smt2_extra_cmds.h" #include "smt/smt2_extra_cmds.h"
#include "smt/smt_solver.h" #include "smt/smt_solver.h"
static std::mutex *display_stats_mux = new std::mutex; static mutex *display_stats_mux = new mutex;
extern bool g_display_statistics; extern bool g_display_statistics;
static clock_t g_start_time; static clock_t g_start_time;
static cmd_context * g_cmd_context = nullptr; static cmd_context * g_cmd_context = nullptr;
static void display_statistics() { static void display_statistics() {
std::lock_guard<std::mutex> lock(*display_stats_mux); lock_guard lock(*display_stats_mux);
clock_t end_time = clock(); clock_t end_time = clock();
if (g_cmd_context && g_display_statistics) { if (g_cmd_context && g_display_statistics) {
std::cout.flush(); std::cout.flush();