Home
last modified time | relevance | path

Searched refs:TRACE_CODE (Results 1 – 25 of 27) sorted by relevance

12

/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dtrace.h26 #define TRACE_CODE(CODE) { CODE } ((void) 0 ) macro
40 #define TRACE_CODE(CODE) ((void) 0) macro
51 #define TRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { tout << "-------- [" << TAG << "] …
53 #define STRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { CODE tout.flush(); })
55 #define SCTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { CODE tout.flush(…
57 #define CTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { tout << "--------…
H A Dmemory_manager.cpp208 …TRACE_CODE(if (!g_finalizing) TRACE("memory", tout << "dealloc " << std::hex << p << std::dec << "… in deallocate()
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dtrace.h53 #define TRACE_CODE(CODE) { CODE } ((void) 0 ) macro
67 #define TRACE_CODE(CODE) ((void) 0) macro
83 #define TRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { THREAD_LOCK(TRACEBODY(TAG, CODE));…
85 #define STRACE(TAG, CODE) TRACE_CODE(if (is_trace_enabled(TAG)) { THREAD_LOCK(STRACEBODY(CODE)); })
87 #define SCTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { THREAD_LOCK(STRA…
89 #define CTRACE(TAG, COND, CODE) TRACE_CODE(if (is_trace_enabled(TAG) && (COND)) { THREAD_LOCK(TRACE…
H A Dmemory_manager.cpp208 …TRACE_CODE(if (!g_finalizing) TRACE("memory", tout << "dealloc " << std::hex << p << std::dec << "… in deallocate()
/dports/games/ldmud/ldmud-3.3.720/src/
H A Dprolang.h35 #if defined( DEBUG ) && defined ( TRACE_CODE )
H A Dinterpret.h235 #ifdef TRACE_CODE
H A Dmain.c2012 #if defined(TRACE_CODE) in options()
2031 #ifdef TRACE_CODE in options()
H A Dconfig.h.in224 @cdef_trace_code@ TRACE_CODE
226 /* If using TRACE_CODE , how many instructions should be kept?
H A Dbackend.c288 #ifdef TRACE_CODE in do_state_check()
H A Dinterpret.c376 #ifdef TRACE_CODE
7602 #ifdef TRACE_CODE in free_interpreter_temporaries()
8096 #ifdef TRACE_CODE in eval_instruction()
8145 #ifdef TRACE_CODE in eval_instruction()
8195 #ifdef TRACE_CODE in eval_instruction()
8246 #ifdef TRACE_CODE in eval_instruction()
8296 #ifdef TRACE_CODE in eval_instruction()
8331 #ifdef TRACE_CODE in eval_instruction()
19290 #ifdef TRACE_CODE in dump_trace()
19369 #ifdef TRACE_CODE in clear_interpreter_refs()
[all …]
H A Dfunc_spec612 #ifdef TRACE_CODE
H A Dmake_func.y2714 #ifdef TRACE_CODE in read_machine()
H A Dmapping.c699 #ifdef TRACE_CODE in free_protector_mapping()
H A Dlex.c3488 #if defined( DEBUG ) && defined ( TRACE_CODE ) in handle_pragma()
/dports/games/ldmud/ldmud-3.3.720/doc/LPC/
H A Dpragma97 compiled with DEBUG and TRACE_CODE options:
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dqi_queue.cpp304 TRACE_CODE({ in instantiate()
H A Dtheory_arith_core.h81 TRACE_CODE({ in process_atoms()
1971 TRACE_CODE({ in pivot()
H A Dsmt_context.cpp1788 TRACE_CODE({ in decide()
3792 TRACE_CODE({ in bounded_search()
H A Dtheory_str.cpp6988 … TRACE_CODE(if (is_trace_enabled("t_str_dump_assign_on_scope_change")) { dump_assignments(); }); in push_scope_eh()
7056 … TRACE_CODE(if (is_trace_enabled("t_str_dump_assign_on_scope_change")) { dump_assignments(); }); in pop_scope_eh()
7106 TRACE_CODE( in dump_assignments()
8231 TRACE_CODE(if (is_trace_enabled("t_str_dump_assign")) { dump_assignments(); }); in final_check_eh()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dqi_queue.cpp302 TRACE_CODE({ in instantiate()
H A Dtheory_arith_core.h81 TRACE_CODE({ in process_atoms()
1971 TRACE_CODE({ in pivot()
H A Dsmt_context.cpp1800 TRACE_CODE({ in decide()
3802 TRACE_CODE({ in bounded_search()
H A Dtheory_str.cpp7186 … TRACE_CODE(if (is_trace_enabled("t_str_dump_assign_on_scope_change")) { dump_assignments(); }); in push_scope_eh()
7257 … TRACE_CODE(if (is_trace_enabled("t_str_dump_assign_on_scope_change")) { dump_assignments(); }); in pop_scope_eh()
7313 TRACE_CODE( in dump_assignments()
8511 TRACE_CODE(if (is_trace_enabled("t_str_dump_assign")) { dump_assignments(); }); in final_check_eh()
/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_simplifier.cpp823 TRACE_CODE(l_idx++;); in elim_dup_bins()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_simplifier.cpp822 TRACE_CODE(l_idx++;); in elim_dup_bins()

12