diff options
| author | Aristotelis Papanis <aristotelis.papanis@blocksense.network> | 2025-03-13 15:12:45 +0200 |
|---|---|---|
| committer | Aristotelis <52610192+Aristotelis2002@users.noreply.github.com> | 2025-03-13 15:16:49 +0200 |
| commit | 2cb82e5981490274087e0d144dbc9aa947c91c22 (patch) | |
| tree | 475b34df2446e74805a89b6d0c45f0c7ba5a6682 /zkvms_host_io/input_macros | |
| parent | dce57e6332d3de458309b1f33377601cbe3f603e (diff) | |
| download | zkVMs-benchmarks-2cb82e5981490274087e0d144dbc9aa947c91c22.tar zkVMs-benchmarks-2cb82e5981490274087e0d144dbc9aa947c91c22.tar.gz zkVMs-benchmarks-2cb82e5981490274087e0d144dbc9aa947c91c22.zip | |
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.
Diffstat (limited to 'zkvms_host_io/input_macros')
| -rw-r--r-- | zkvms_host_io/input_macros/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
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 {{ |