From 480a98015ca577968c635b7f0b86adeb7b259adb Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Mon, 5 May 2025 14:21:57 +0300 Subject: fix(zkvms_host_io): Remove millis flag The usages of this flag were removed when we introduced our JSON metrics format. --- zkvms_host_io/src/lib.rs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'zkvms_host_io/src') diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs index 0abfc80..6737f95 100644 --- a/zkvms_host_io/src/lib.rs +++ b/zkvms_host_io/src/lib.rs @@ -48,10 +48,6 @@ struct Cli { #[arg(short, long, requires = "benchmark")] repeat: Option, - /// Output timings as milliseconds instead of seconds - #[arg(short, long, requires = "benchmark")] - millis: bool, - /// Put the benchmark's formatted output into a file of the given path #[arg(short = 'o', long, requires = "benchmark")] metrics_output: Option, @@ -73,7 +69,6 @@ pub struct RunWith { pub run_type: RunType, pub benchmarking: bool, pub runs: usize, - pub millis: bool, pub output_file: Option, pub append: bool, @@ -142,7 +137,6 @@ pub fn read_args() -> RunWith { run_type: cli.run_type, benchmarking: cli.benchmark, runs: cli.repeat.unwrap_or(1), - millis: cli.millis, output_file: cli.metrics_output, append: cli.append, -- cgit v1.2.3