Function z3_sys::Z3_disable_trace

pub unsafe extern "C" fn Z3_disable_trace(tag: Z3_string)

Disable tracing messages tagged as tag when Z3 is compiled in debug mode. It is a NOOP otherwise

See also:

• Z3_enable_trace