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(())
     }
 }