Move user and system time

This commit is contained in:
David Peter authored and David Peter committed 2026-10-05 15:56:36 +02:00
1 parent 14d773998a
commit 50232feb22
6 files changed
+106 -42

No files matched your search

+5 -4
View File
@@ -490,12 +490,13 @@ impl<'a> Benchmark<'a> {
Ok(BenchmarkResult {
command: self.command.get_name(),
command_with_unused_parameters: self.command.get_name_with_unused_parameters(),
user: user_mean,
system: system_mean,
runs: times_real
.iter()
.map(|t| BenchmarkRun {
wall_clock_time: *t,
.zip(times_user.iter().zip(times_system.iter()))
.map(|(wall_clock_time, (user_time, system_time))| BenchmarkRun {
wall_clock_time: *wall_clock_time,
user_time: *user_time,
system_time: *system_time,
})
.collect(),
memory_usage_byte: Some(memory_usage_byte),