Function z3_sys::Z3_set_error_handler [−][src]
pub unsafe extern "C" fn Z3_set_error_handler(
c: Z3_context,
h: Z3_error_handler
)
Expand description
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.