Function z3_sys::Z3_set_error_handler

pub unsafe extern "C" fn Z3_set_error_handler(
    c: Z3_context, 
    h: Z3_error_handler
)

Register a Z3 error handler.

A call to a Z3 function may return a non ErrorCode::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 h=NULL.

Warning: Log files, created using Z3_open_log, may be potentially incomplete/incorrect if error handlers are used.

See also:

• Z3_get_error_code