pub fn reset_peak_memory() -> Result<()>
Reset the process-global peak-memory counter for all threads and evaluations.