set_error method

void set_error(
  1. Z3_context c,
  2. int e
)

\brief Set an error.

def_API('Z3_set_error', VOID, (_in(CONTEXT), _in(ERROR_CODE)))

Implementation

void set_error(
  Z3_context c,
  int e,
) {
  return _set_error(
    c,
    e,
  );
}