Function z3_sys::Z3_get_error_code

source · 
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.

See also: