z3_sys

Function Z3_params_validate

Source 
pub unsafe extern "C" fn Z3_params_validate(
    c: Z3_context,
    p: Z3_params,
    d: Z3_param_descrs,
)
Expand description

Validate the parameter set p against the parameter description set d.

The procedure invokes the error handler if p is invalid.