getReasonUnknown method

String getReasonUnknown()

Implementation

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