z3GlobalOpenLog function

void z3GlobalOpenLog(
  1. File file
)

Log API interactions to the given file, clearing the previous contents.

Implementation

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