mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

Merge branch 'master' of https://github.com/Z3Prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2016-01-07 16:04:35 -08:00
commit 8b66411c05
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/debug.h
View file

@ -44,12 +44,16 @@ bool assertions_enabled();
#define DEBUG_CODE(CODE) ((void) 0) #define DEBUG_CODE(CODE) ((void) 0)
#endif #endif
#ifdef NO_Z3_DEBUGGER
#define INVOKE_DEBUGGER() exit(ERR_INTERNAL_FATAL)
#else
#ifdef _WINDOWS #ifdef _WINDOWS
#define INVOKE_DEBUGGER() __debugbreak() #define INVOKE_DEBUGGER() __debugbreak()
#else #else
void invoke_gdb(); void invoke_gdb();
#define INVOKE_DEBUGGER() invoke_gdb() #define INVOKE_DEBUGGER() invoke_gdb()
#endif #endif
#endif
void notify_assertion_violation(const char * file_name, int line, const char * condition); void notify_assertion_violation(const char * file_name, int line, const char * condition);
void enable_debug(const char * tag); void enable_debug(const char * tag);