From 2cb82e5981490274087e0d144dbc9aa947c91c22 Mon Sep 17 00:00:00 2001 From: Aristotelis Papanis Date: Thu, 13 Mar 2025 15:12:45 +0200 Subject: fix(metrics): Do not remove leading zeros With the commit for improving the metrics output we introduced a bug for the milliseconds where we would lose information about leading zeros. This has been now fixed. --- zkvms_host_io/input_macros/src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'zkvms_host_io') diff --git a/zkvms_host_io/input_macros/src/lib.rs b/zkvms_host_io/input_macros/src/lib.rs index 6ef2e7c..3deffef 100644 --- a/zkvms_host_io/input_macros/src/lib.rs +++ b/zkvms_host_io/input_macros/src/lib.rs @@ -226,7 +226,7 @@ pub fn benchmarkable(item: TokenStream) -> TokenStream { if run_info.millis {{ output += &format!("{{}},", duration.as_millis()); }} else {{ - output += &format!("{{}}.{{}},", duration.as_secs(), duration.subsec_millis()); + output += &format!("{{:.3}},", duration.as_secs_f32()); }} let durations = starts @@ -239,7 +239,7 @@ pub fn benchmarkable(item: TokenStream) -> TokenStream { if run_info.millis {{ output += &format!("{{}},{{}}\n", run_info.repeats, average.as_millis()); }} else {{ - output += &format!("{{}},{{}}.{{}}\n", run_info.repeats, average.as_secs(), average.subsec_millis()); + output += &format!("{{}},{{:.3}}\n", run_info.repeats, average.as_secs_f32()); }} if let Some(file) = run_info.output_file {{ -- cgit v1.2.3