fixedpoint_get_reason_unknown method

Z3_string fixedpoint_get_reason_unknown(
  1. Z3_context c,
  2. Z3_fixedpoint d
)

\brief Retrieve a string that describes the last status returned by #Z3_fixedpoint_query.

Use this method when #Z3_fixedpoint_query returns \c Z3_L_UNDEF.

def_API('Z3_fixedpoint_get_reason_unknown', STRING, (_in(CONTEXT), _in(FIXEDPOINT) ))

Implementation

Z3_string fixedpoint_get_reason_unknown(
  Z3_context c,
  Z3_fixedpoint d,
) {
  return _fixedpoint_get_reason_unknown(
    c,
    d,
  );
}