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