z3_sys
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
tag
Z3_disable_trace