pub unsafe extern "C" fn Z3_get_probe_name( c: Z3_context, i: c_uint ) -> Z3_string
Return the name of the i probe.
i
i < Z3_get_num_probes(c)
Z3_get_num_probes