Added comment, lets CI run

model-checking · Oct 24, 2024 · f6b1527 · f6b1527
1 parent 8dfde5d
commit f6b1527
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
@@ -141,7 +141,7 @@ impl KaniSession {
 
     fn result_output_dir(&self) -> Result<PathBuf> {
         let target_dir = self.args.target_dir.clone().map_or_else(current_dir, Ok)?;
-        Ok(target_dir.join("result_output_dir"))
+        Ok(target_dir.join("result_output_dir")) //Hardcode output to result_output_dir, may want to make it adjustable?
     }
 
     /// Run the verification process for a single harness