From 01bd260124db147a31a4990af68465eb857c4c10 Mon Sep 17 00:00:00 2001
From: Alexander Aghili <alexander.w.aghili@gmail.com>
Date: Wed, 31 Jul 2024 07:16:22 -0700
Subject: [PATCH] Untested configuration options change (commit to get to
 server to test)

---
 kani-driver/src/args/mod.rs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
index 7c50e8698441..382542b4fc2b 100644
--- a/kani-driver/src/args/mod.rs
+++ b/kani-driver/src/args/mod.rs
@@ -643,6 +643,21 @@ impl ValidateArgs for VerificationArgs {
             ));
         }
 
+        if self.output_into_files 
+            && !self.common_args.unstable_features.contains(UnstableFeature::UnstableOptions) 
+        { 
+
+            if self.common_args.enable_unstable {
+                print_deprecated(&self.common_args, "`--enable-unstable`", "-Z unstable-options");
+            } else {
+                return Err(Error::raw(
+                    ErrorKind::MissingRequiredArgument,
+                    "The `--output-into-files` argument is unstable and requires `-Z unstable-options` to enable \
+                unstable options support.",
+                ));
+            }
+        } 
+
         Ok(())
     }
 }