optimize_get_reason_unknown method

Z3_string optimize_get_reason_unknown(
  1. Z3_context c,
  2. Z3_optimize d
)

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

Use this method when #Z3_optimize_check returns \c Z3_L_UNDEF.

def_API('Z3_optimize_get_reason_unknown', STRING, (_in(CONTEXT), _in(OPTIMIZE) ))

Implementation

Z3_string optimize_get_reason_unknown(
  Z3_context c,
  Z3_optimize d,
) {
  return _optimize_get_reason_unknown(
    c,
    d,
  );
}