Function z3_sys::Z3_solver_get_statistics
source · pub unsafe extern "C" fn Z3_solver_get_statistics(
c: Z3_context,
s: Z3_solver
) -> Z3_stats
Expand description
Return statistics for the given solver.
NOTE: User must use Z3_stats_inc_ref
and Z3_stats_dec_ref
to manage Z3_stats
objects.