Function z3_sys::Z3_get_error_code

pub unsafe extern "C" fn Z3_get_error_code(c: Z3_context) -> ErrorCode

Return the error code for the last API call.

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

See also:

• Z3_set_error_handler