Untested configuration options change (commit to get to server to test)

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