getReasonUnknown method

String getReasonUnknown()

Implementation

String getReasonUnknown() {
  return _c._z3
      .optimize_get_reason_unknown(_optimize)
      .cast<Utf8>()
      .toDartString();
}