Home
last modified time | relevance | path

Searched refs:g_verbose_mux (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dtrace.cpp26 static std::mutex g_verbose_mux; variable
27 void verbose_lock() { g_verbose_mux.lock(); } in verbose_lock()
28 void verbose_unlock() { g_verbose_mux.unlock(); } in verbose_unlock()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dutil.cpp26 static std::mutex g_verbose_mux; variable
27 void verbose_lock() { g_verbose_mux.lock(); } in verbose_lock()
28 void verbose_unlock() { g_verbose_mux.unlock(); } in verbose_unlock()