z3GlobalEnableTrace function

void z3GlobalEnableTrace(
  1. String tag
)

Enables tracing for the given tag.

Implementation

void z3GlobalEnableTrace(String tag) {
  final tagPtr = tag.toNativeUtf8();
  try {
    _libz3.enable_trace(tagPtr.cast());
  } finally {
    malloc.free(tagPtr);
  }
}