z3GlobalAppendLog function

void z3GlobalAppendLog(
  1. File file
)

Append API interactions to the given file.

Implementation

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