print JSON filepath

carolynzech · Nov 19, 2024 · 0f30414 · 0f30414
1 parent ba70cad
commit 0f30414
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 results to {}", std::fs::canonicalize(JSON_FILENAME)?.display());
+
     Ok(())
 }