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

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.