get_error_code method

int get_error_code(
  1. Z3_context c
)

\brief Return the error code for the last API call.

A call to a Z3 function may return a non Z3_OK error code, when it is not used correctly.

\sa Z3_set_error_handler

def_API('Z3_get_error_code', UINT, (_in(CONTEXT), ))

Implementation

int get_error_code(
  Z3_context c,
) {
  return _get_error_code(
    c,
  );
}