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