enable_trace method

void enable_trace(
  1. Z3_string tag
)

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

\sa Z3_disable_trace

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

Implementation

void enable_trace(
  Z3_string tag,
) {
  return _enable_trace(
    tag,
  );
}