From ea3a6aeaa28b0f464de0c6eb611c19f71889fa3f Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Mon, 12 May 2025 23:26:30 -0400 Subject: [PATCH] only error on --quiet for autoharness if --list was passed --- kani-driver/src/args/autoharness_args.rs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/kani-driver/src/args/autoharness_args.rs b/kani-driver/src/args/autoharness_args.rs index c5ddd25302fb..8b7b66c4cd7c 100644 --- a/kani-driver/src/args/autoharness_args.rs +++ b/kani-driver/src/args/autoharness_args.rs @@ -94,7 +94,8 @@ impl ValidateArgs for CargoAutoharnessArgs { )); } - if self.common_autoharness_args.format == Format::Pretty + if self.common_autoharness_args.list + && self.common_autoharness_args.format == Format::Pretty && self.verify_opts.common_args.quiet { return Err(Error::raw( @@ -141,7 +142,8 @@ impl ValidateArgs for StandaloneAutoharnessArgs { )); } - if self.common_autoharness_args.format == Format::Pretty + if self.common_autoharness_args.list + && self.common_autoharness_args.format == Format::Pretty && self.verify_opts.common_args.quiet { return Err(Error::raw(