eval method

String eval(
  1. String str
)

Evaluate an SMT-LIB string, returning the result as a string.

Implementation

String eval(String str) {
  final strPtr = str.toNativeUtf8();
  try {
    final result = _z3.eval_smtlib2_string(strPtr.cast());
    return result.cast<Utf8>().toDartString();
  } finally {
    malloc.free(strPtr);
  }
}