From bc92441157bbcea095d1fb2bbfc8ecf19c1b1346 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 10:20:53 +0200
Subject: feat(zkvms_host_io): More standard CSV metrics output format and
 milliseconds flag

---
 zkvms_host_io/src/lib.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'zkvms_host_io/src')

diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs
index 46c4740..fbdd8f9 100644
--- a/zkvms_host_io/src/lib.rs
+++ b/zkvms_host_io/src/lib.rs
@@ -25,6 +25,9 @@ struct Cli {
     #[arg(short, long, requires = "benchmark")]
     repeat: Option<usize>,
 
+    #[arg(short, long, requires = "benchmark")]
+    millis: bool,
+
     #[arg(short, long, requires = "benchmark")]
     metrics_output: Option<String>,
 }
@@ -41,6 +44,7 @@ pub struct RunWith {
     pub run_type: RunType,
     pub benchmarking: bool,
     pub repeats: usize,
+    pub millis: bool,
     pub output_file: Option<String>,
 
     pub input: Input,
@@ -92,6 +96,7 @@ pub fn read_args() -> RunWith {
         run_type: cli.run_type,
         benchmarking: cli.benchmark,
         repeats: cli.repeat.unwrap_or(1),
+        millis: cli.millis,
         output_file: cli.metrics_output,
 
         input,
-- 
cgit v1.2.3