Function z3::set_global_param

pub fn set_global_param(k: &str, v: &str)

Set a global (or module) parameter. This setting is shared by all Z3 contexts.

See also

• get_global_param()
• reset_all_global_params()