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}')