Remove enable-unstable requirement

model-checking · Jul 31, 2024 · 2524fa1 · 2524fa1
1 parent 01bd260
commit 2524fa1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
@@ -276,7 +276,7 @@ pub struct VerificationArgs {
     pub synthesize_loop_contracts: bool,
 
     //Harness Output into individual files
-    #[arg(long, hide_short_help = true, requires("enable_unstable"))]
+    #[arg(long, hide_short_help = true)]
     pub output_into_files: bool,
 
     /// Randomize the layout of structures. This option can help catching code that relies on