pub unsafe extern "C" fn Z3_get_error_code(c: Z3_context) -> ErrorCodeExpand 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.
pub unsafe extern "C" fn Z3_get_error_code(c: Z3_context) -> ErrorCodeReturn 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.