Change output-format to terse

jaisnan · Sep 6, 2024 · 9ba9aae · 9ba9aae
1 parent 614af49
commit 9ba9aae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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