vsndrg/hyperfine
1
0 Fork 0
mirror of https://github.com/sharkdp/hyperfine.git synced 2026-11-01 17:00:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Yet another API iteration

Browse Source
This commit is contained in:
David Peter authored and David Peter committed 2026-10-05 16:00:21 +02:00
1 parent 7d408d6a0d
commit 534d5683ab
6 files changed
+50 -41
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

src/benchmark/mod.rs
+9 -9
View File
@@ -330,9 +330,9 @@ impl<'a> Benchmark<'a> {
let benchmark_iteration = BenchmarkIteration::Benchmark(i + 1);
let msg = {
let mean = measurements
.time_wall_clock_mean()
.format_auto(self.options.time_unit);
let t_wall_clock_mean = measurements.time_wall_clock_mean();
let time_unit = t_wall_clock_mean.suitable_unit();
let mean = t_wall_clock_mean.format(time_unit);
format!("Current estimate: {}", mean.to_string().green())
};
@@ -370,13 +370,13 @@ impl<'a> Benchmark<'a> {
.options
.time_unit
.unwrap_or(t_wall_clock_mean.suitable_unit());
let mean_str = t_wall_clock_mean.format_auto(Some(time_unit));
let min_str = measurements.min().format_auto(Some(time_unit));
let max_str = measurements.max().format_auto(Some(time_unit));
let mean_str = t_wall_clock_mean.format(time_unit);
let min_str = measurements.min().format(time_unit);
let max_str = measurements.max().format(time_unit);
let num_str = format!("{num_runs} runs", num_runs = measurements.len());
let user_str = measurements.time_user_mean().format_auto(Some(time_unit));
let system_str = measurements.time_system_mean().format_auto(Some(time_unit));
let user_str = measurements.time_user_mean().format(time_unit);
let system_str = measurements.time_system_mean().format(time_unit);
if self.options.output_style != OutputStyleOption::Disabled {
if measurements.len() == 1 {
@@ -389,7 +389,7 @@ impl<'a> Benchmark<'a> {
system_str.blue()
)?;
} else {
let stddev_str = measurements.stddev().unwrap().format_auto(Some(time_unit));
let stddev_str = measurements.stddev().unwrap().format(time_unit);
console_writeln!(
stdout,