mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 19:02:02 +00:00
Code Activity

added compiler macro to disable invocation of the debugger upon failure.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-01-07 15:58:10 +00:00
parent 00f3a1fe81
commit e53b580cb4
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);