mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-07 03:31:23 +00:00
Code Activity

fix IF_LOGGING macro

Browse source
This commit is contained in:
Jakob Rath 2023-03-23 14:16:48 +01:00
parent 73b97f3a32
commit 4f7a25eb73
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/math/polysat/log.h
View file

@ -102,9 +102,11 @@ polysat_log(LogLevel msg_level, std::string fn, std::string pretty_fn);
#define COND_LOG(c, x) if (c) LOG(x) #define COND_LOG(c, x) if (c) LOG(x)
#define LOGE(x) LOG(#x << " = " << (x)) #define LOGE(x) LOG(#x << " = " << (x))
#define IF_LOGGING(x) \ #define IF_LOGGING(x) \
do { \ do { \
x; \ if (get_log_enabled()) { \
x; \
} \
} while (false) } while (false)