mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

debug model evaluator

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-06-15 14:58:02 -07:00
parent e94b97376c
commit a51d6cbcbc
4 changed files with 27 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/util.h
View file

@ -193,8 +193,10 @@ bool is_threaded();
#ifdef _MSC_VER
#define DO_PRAGMA(x) __pragma(x)
#define PRAGMA_LOCK __pragma(omp critical (verbose_lock))
#else
#define DO_PRAGMA(x) _Pragma(#x)
#define PRAGMA_LOCK _Pragma("omp critical (verbose_lock){)
#endif
#ifdef _NO_OMP_
@ -202,7 +204,7 @@ bool is_threaded();
#else
#define LOCK_CODE(CODE) \
{ \
DO_PRAGMA(omp critical (verbose_lock)) \
PRAGMA_LOCK \
{ \
CODE; \
} \