diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:17:52 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:17:52 +0200 |
| commit | 19834f25e4a9e80b7a0da096188b5335e4a88a01 (patch) | |
| tree | 35f6260a0424610725c153f62f4cfb40b3057da3 /zkvms_host_io/src | |
| parent | 125a2120c016ec069f9dc93e26ebbb8df6a09450 (diff) | |
| download | zkVMs-benchmarks-19834f25e4a9e80b7a0da096188b5335e4a88a01.tar zkVMs-benchmarks-19834f25e4a9e80b7a0da096188b5335e4a88a01.tar.gz zkVMs-benchmarks-19834f25e4a9e80b7a0da096188b5335e4a88a01.zip | |
feat(zkvms_host_io): Create "benchmarkable" macro and add benchmarking flags
Diffstat (limited to 'zkvms_host_io/src')
| -rw-r--r-- | zkvms_host_io/src/lib.rs | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs index 7090023..46c4740 100644 --- a/zkvms_host_io/src/lib.rs +++ b/zkvms_host_io/src/lib.rs @@ -3,7 +3,7 @@ use num_traits::NumCast; use serde::{ Serialize, Deserialize }; use env_file_reader::read_str; use std::{env, option::Option, fs::read_to_string, collections::*}; -pub use input_macros::{ foreach_input_field, foreach_public_input_field, foreach_private_input_field }; +pub use input_macros::{ foreach_input_field, foreach_public_input_field, foreach_private_input_field, benchmarkable }; static DEFAULT_PUBLIC_INPUT: &str = include_str!(concat!(env!("INPUTS_DIR"), "/default_public_input.toml")); static DEFAULT_PRIVATE_INPUT: &str = include_str!(concat!(env!("INPUTS_DIR"), "/default_private_input.toml")); @@ -18,6 +18,15 @@ struct Cli { private_input: Option<String>, public_input: Option<String>, + + #[arg(short, long)] + benchmark: bool, + + #[arg(short, long, requires = "benchmark")] + repeat: Option<usize>, + + #[arg(short, long, requires = "benchmark")] + metrics_output: Option<String>, } #[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, ValueEnum)] @@ -30,9 +39,14 @@ pub enum RunType { #[derive(Debug, Clone, PartialEq, Eq)] pub struct RunWith { pub run_type: RunType, + pub benchmarking: bool, + pub repeats: usize, + pub output_file: Option<String>, + pub input: Input, pub public_input: PublicInput, pub private_input: PrivateInput, + pub default_env: HashMap<String, String>, } @@ -76,9 +90,14 @@ pub fn read_args() -> RunWith { RunWith { run_type: cli.run_type, + benchmarking: cli.benchmark, + repeats: cli.repeat.unwrap_or(1), + output_file: cli.metrics_output, + input, public_input, private_input, + default_env, } } |
