Function z3_sys::Z3_update_param_value

pub unsafe extern "C" fn Z3_update_param_value(
    c: Z3_context, 
    param_id: Z3_string, 
    param_value: Z3_string
)

Set a value of a context parameter.

See also:

• Z3_global_param_set