disable_trace method

void disable_trace(
  1. Z3_string tag
)

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

\sa Z3_enable_trace

def_API('Z3_disable_trace', VOID, (_in(STRING),))

Implementation

void disable_trace(
  Z3_string tag,
) {
  return _disable_trace(
    tag,
  );
}