Function z3_sys::Z3_enable_trace
source · pub unsafe extern "C" fn Z3_enable_trace(tag: Z3_string)
Expand description
Enable tracing messages tagged as tag
when Z3 is compiled in debug mode.
It is a NOOP otherwise
pub unsafe extern "C" fn Z3_enable_trace(tag: Z3_string)
Enable tracing messages tagged as tag
when Z3 is compiled in debug mode.
It is a NOOP otherwise