make included_functions and excluded_functions conflict in compiler args

Carolyn Zech · Carolyn Zech · commit f060d66e0197 · 2025-03-05T14:51:37.000-05:00
diff --git a/kani-compiler/src/args.rs b/kani-compiler/src/args.rs
@@ -91,10 +91,14 @@ pub struct Arguments {
     /// Print the final LLBC file to stdout.
     #[clap(long)]
     pub print_llbc: bool,
-    /// If we are running the autoharness subcommand, the functions to autoharness
-    #[arg(long = "autoharness-include-function", num_args(1))]
+    /// If we are running the autoharness subcommand, the functions to include
+    #[arg(
+        long = "autoharness-include-function",
+        num_args(1),
+        conflicts_with = "autoharness_excluded_functions"
+    )]
     pub autoharness_included_functions: Vec<String>,
-    /// If we are running the autoharness subcommand, the functions to exclude from autoverification
+    /// If we are running the autoharness subcommand, the functions to exclude
     #[arg(long = "autoharness-exclude-function", num_args(1))]
     pub autoharness_excluded_functions: Vec<String>,
 }
