Function z3_sys::Z3_global_param_get

pub unsafe extern "C" fn Z3_global_param_get(
    param_id: Z3_string, 
    param_value: Z3_string_ptr
) -> Z3_bool

Get a global (or module) parameter.

Returns Z3_FALSE if the parameter value does not exist.

See also:

• Z3_global_param_set

NOTE: This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in shared location.