diff options
Diffstat (limited to 'zkvms_host_io')
| -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 {{ |