z3GlobalDisableTrace function

void z3GlobalDisableTrace(
  1. String tag
)

Disables tracing for the given tag.

Implementation

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