From 83592ab462d1fd201da872dcc5f975ccf5657748 Mon Sep 17 00:00:00 2001
From: jfldde <168934971+jfldde@users.noreply.github.com>
Date: Tue, 10 Sep 2024 19:07:21 +0200
Subject: [PATCH] Add debug

---
 resources/scripts/cycle-diff.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/scripts/cycle-diff.sh b/resources/scripts/cycle-diff.sh
index 0295b675d..b643be4ca 100755
--- a/resources/scripts/cycle-diff.sh
+++ b/resources/scripts/cycle-diff.sh
@@ -52,6 +52,8 @@ run_test_and_extract() {
 
     make build
     $command > "$output_file" 2>&1
+    echo "Contents of $output_file:" >&2
+    cat "$output_file" >&2
 
     local prover_output_file
     prover_output_file=$(grep "prover.log" "$output_file" | awk '{print $6}')