addSmtlibFile method

List<AST> addSmtlibFile(
  1. File file
)

Same as addSmtlib but reads from a file.

Implementation

List<AST> addSmtlibFile(File file) {
  final pathPtr = file.path.toNativeUtf8();
  try {
    final result = _c._z3.fixedpoint_from_file(_fp, pathPtr.cast());
    return _c._unpackAstVector(result);
  } finally {
    malloc.free(pathPtr);
  }
}