Rename _res to _result

This commit is contained in:
David Peter committed 2022-02-19 20:03:49 +01:00
1 parent f25c7290a4
commit dde26cf1cb
1 file changed
+2 -2
+2 -2
View File
@@ -319,7 +319,7 @@ pub fn run_benchmark(
None None
}; };
let prepare_res = run_preparation_command(&options.shell, &prepare_cmd, options.show_output)?; let prepare_result = run_preparation_command(&options.shell, &prepare_cmd, options.show_output)?;
// Initial timing run // Initial timing run
let (res, status) = time_shell_command( let (res, status) = time_shell_command(
@@ -333,7 +333,7 @@ pub fn run_benchmark(
// Determine number of benchmark runs // Determine number of benchmark runs
let runs_in_min_time = (options.min_time_sec let runs_in_min_time = (options.min_time_sec
/ (res.time_real + prepare_res.time_real + shell_spawning_time.time_real)) / (res.time_real + prepare_result.time_real + shell_spawning_time.time_real))
as u64; as u64;
let count = { let count = {