mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

constify is_threaded if MT is disabled

Browse source
This commit is contained in:
Nuno Lopes 2019-03-08 11:16:10 +00:00
parent cd4b53500c
commit 9736c46375
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/util.cpp
View file

@ -39,6 +39,7 @@ void set_verbose_stream(std::ostream& str) {
g_verbose_stream = &str; g_verbose_stream = &str;
} }
#ifndef _NO_OMP_
#ifdef _WINDOWS #ifdef _WINDOWS
static int g_thread_id = 0; static int g_thread_id = 0;
#else #else
@ -57,6 +58,7 @@ bool is_threaded() {
#endif #endif
return g_is_threaded; return g_is_threaded;
} }
#endif
std::ostream& verbose_stream() { std::ostream& verbose_stream() {
return *g_verbose_stream; return *g_verbose_stream;

4
src/util/util.h
View file

@ -174,7 +174,11 @@ void set_verbosity_level(unsigned lvl);
unsigned get_verbosity_level(); unsigned get_verbosity_level();
std::ostream& verbose_stream(); std::ostream& verbose_stream();
void set_verbose_stream(std::ostream& str); void set_verbose_stream(std::ostream& str);
#ifdef _NO_OMP_
# define is_threaded() false
#else
bool is_threaded(); bool is_threaded();
#endif
#define IF_VERBOSE(LVL, CODE) { \ #define IF_VERBOSE(LVL, CODE) { \