write JSON filepath

carolynzech · Nov 19, 2024 · 0ffbd4c · 0ffbd4c
1 parent fbab969
commit 0ffbd4c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/kani-driver/src/list/output.rs b/kani-driver/src/list/output.rs
@@ -120,5 +120,7 @@ pub fn json(
 
     serde_json::to_writer_pretty(writer, &json_obj)?;
 
+    println!("Wrote list results to {}", std::fs::canonicalize(JSON_FILENAME)?.display());
+
     Ok(())
 }