diff options
Diffstat (limited to 'zkvms_host_io/src/lib.rs')
| -rw-r--r-- | zkvms_host_io/src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
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 @@ -26,6 +26,9 @@ struct Cli { 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, |