z3GlobalOpenLog function
Implementation
void z3GlobalOpenLog(File file) {
final filePtr = file.path.toNativeUtf8();
try {
_libz3.open_log(filePtr.cast());
} finally {
malloc.free(filePtr);
}
}
void z3GlobalOpenLog(File file) {
final filePtr = file.path.toNativeUtf8();
try {
_libz3.open_log(filePtr.cast());
} finally {
malloc.free(filePtr);
}
}