diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
index 4c760849cbae..555545bb3b04 100644
--- 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