addSmtlibFile method

void addSmtlibFile(
  1. File file
)

Implementation

void addSmtlibFile(File file) {
  final pathPtr = file.path.toNativeUtf8();
  try {
    _c._z3.optimize_from_file(_optimize, pathPtr.cast());
  } finally {
    malloc.free(pathPtr);
  }
}