set_error_handler method

void set_error_handler(
  1. Z3_context c,
  2. Pointer<Z3_error_handler> h
)

\brief Register a Z3 error handler.

A call to a Z3 function may return a non \c Z3_OK error code, when it is not used correctly. An error handler can be registered and will be called in this case. To disable the use of the error handler, simply register with \c h=NULL.

\warning Log files, created using #Z3_open_log, may be potentially incomplete/incorrect if error handlers are used.

\sa Z3_get_error_code

Implementation

void set_error_handler(
  Z3_context c,
  ffi.Pointer<Z3_error_handler> h,
) {
  return _set_error_handler(
    c,
    h,
  );
}