mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

wasm build issue

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-11-19 20:45:36 +01:00
parent 741c5f43f4
commit a7d24788c3
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/api/api_solver.cpp
View file

@ -158,10 +158,10 @@ extern "C" {
init_solver_core(c, s); init_solver_core(c, s);
} }
static std::thread::id g_thread_id = std::this_thread::get_id();
static bool g_is_threaded = false;
static void init_solver_log(Z3_context c, Z3_solver s) { static void init_solver_log(Z3_context c, Z3_solver s) {
static std::thread::id g_thread_id = std::this_thread::get_id();
static bool g_is_threaded = false;
solver_params sp(to_solver(s)->m_params); solver_params sp(to_solver(s)->m_params);
symbol smt2log = sp.smtlib2_log(); symbol smt2log = sp.smtlib2_log();
if (smt2log.is_non_empty_string() && !to_solver(s)->m_pp) { if (smt2log.is_non_empty_string() && !to_solver(s)->m_pp) {