From ceed1b4a33a9b8d0580bd35493f34102ae59d184 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 10:52:35 +0200
Subject: feat(zkvms_host_io): Allow appending to metric_output file

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

(limited to 'zkvms_host_io/src/lib.rs')

diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs
index fbdd8f9..3de8c5e 100644
--- a/zkvms_host_io/src/lib.rs
+++ b/zkvms_host_io/src/lib.rs
@@ -30,6 +30,9 @@ struct Cli {
 
     #[arg(short, long, requires = "benchmark")]
     metrics_output: Option<String>,
+
+    #[arg(short, long, requires = "benchmark")]
+    append: bool,
 }
 
 #[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, ValueEnum)]
@@ -46,6 +49,7 @@ pub struct RunWith {
     pub repeats: usize,
     pub millis: bool,
     pub output_file: Option<String>,
+    pub append: bool,
 
     pub input: Input,
     pub public_input: PublicInput,
@@ -98,6 +102,7 @@ pub fn read_args() -> RunWith {
         repeats: cli.repeat.unwrap_or(1),
         millis: cli.millis,
         output_file: cli.metrics_output,
+        append: cli.append,
 
         input,
         public_input,
-- 
cgit v1.2.3