[−][src]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
) -> bool
Get a global (or module) parameter.
Returns false
if the parameter value does not exist.
See also:
NOTE: This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in shared location.