Function 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