From db213a1df8dcd6f54cab8316cf6f098b4ea5975e Mon Sep 17 00:00:00 2001
From: lucasmt <lmartinellitabajara@gmail.com>
Date: Tue, 25 Jun 2024 14:45:32 -0500
Subject: [PATCH] Add --verbose and --max-frontier-parallel options to
 run-kontrol.sh script

---
 test/kontrol/scripts/run-kontrol.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
index 6dedce92..e3a456c5 100755
--- a/test/kontrol/scripts/run-kontrol.sh
+++ b/test/kontrol/scripts/run-kontrol.sh
@@ -28,10 +28,12 @@ kontrol_prove() {
   notif "Kontrol Prove"
   # shellcheck disable=SC2086
   run kontrol prove \
+    --verbose \
     --max-depth $max_depth \
     --max-iterations $max_iterations \
     --smt-timeout $smt_timeout \
     --workers $workers \
+    --max-frontier-parallel $max_frontier_parallel \
     $reinit \
     $bug_report \
     $break_on_calls \
@@ -127,6 +129,7 @@ if [ "$CUSTOM_TESTS" == 0 ] && [ "$SCRIPT_TESTS" == false ]; then
 else
     workers=$((${#test_list[@]}>max_workers ? max_workers : ${#test_list[@]}))
 fi
+max_frontier_parallel=6
 reinit=--reinit
 reinit=
 break_on_calls=--no-break-on-calls