addSmtlib method

List<AST> addSmtlib(
  1. String s
)

Implementation

List<AST> addSmtlib(String s) {
  final sPtr = s.toNativeUtf8();
  try {
    final result = _c._z3.fixedpoint_from_string(_fp, sPtr.cast());
    return _c._unpackAstVector(result);
  } finally {
    malloc.free(sPtr);
  }
}