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