Website Summary Files Commits Branches @commit @diff @stats
path: root / zkvms_host_io / input_macros / src
diff options
context:
space:
mode:
Commitceed1b4a33a9b8d0580bd35493f34102ae59d184 (patch)
Author
 Kamen Mladenov <kamen@syndamia.com>
2025-02-10 10:52:35 +0200
Committer
 Kamen Mladenov <kamen@syndamia.com>
2025-02-10 10:52:35 +0200
Filesecdc4757e90e244f9da30e9737ff8aacf6a0a668 /zkvms_host_io/input_macros/src
zkVMs-benchmarks-ceed1b4a33a9b8d0580bd35493f34102ae59d184.tar
zkVMs-benchmarks-ceed1b4a33a9b8d0580bd35493f34102ae59d184.tar.gz
zkVMs-benchmarks-ceed1b4a33a9b8d0580bd35493f34102ae59d184.zip
Parentbb7f09ea36d5ba02fe5648941de51aa5765d4010 (diff)
feat(zkvms_host_io): Allow appending to metric_output file
1 files changed, 7 insertions, 2 deletions
-rw-r--r--zkvms_host_io/input_macros/src/lib.rs9
diff --git a/zkvms_host_io/input_macros/src/lib.rs b/zkvms_host_io/input_macros/src/lib.rs
index 8d7c2fc..e2982ca 100644
--- a/zkvms_host_io/input_macros/src/lib.rs
+++ b/zkvms_host_io/input_macros/src/lib.rs
@@ -114,7 +114,7 @@ pub fn benchmarkable(item: TokenStream) -> TokenStream {
format!(r#"
{{
use std::time::Instant;
- use std::fs::File;
+ use std::fs::OpenOptions;
use std::io::Write;
let mut starts = Vec::new();
@@ -148,7 +148,12 @@ pub fn benchmarkable(item: TokenStream) -> TokenStream {
output += &format!("repeats,{{}}\naverage,{{average}}\n", run_info.repeats);
if let Some(file) = run_info.output_file {{
- let mut outfile = File::create(file).unwrap();
+ let mut outfile = OpenOptions::new()
+ .write(true)
+ .create(true)
+ .append(run_info.append)
+ .open(file)
+ .unwrap();
write!(outfile, "{{}}", output);
}}
else {{