From 9ba9aae215504197d648075f30318dd001e3c614 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Fri, 6 Sep 2024 19:12:04 +0000
Subject: [PATCH] Change output-format to terse

---
 run-kani.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-kani.sh b/run-kani.sh
index d3a531717b097..f4a77928d1bbb 100755
--- a/run-kani.sh
+++ b/run-kani.sh
@@ -157,7 +157,7 @@ main() {
 
     echo "Running Kani verify-std command..."
     cd $current_dir
-    "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates
+    "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates --output-format=terse
 }
 
 main