Add debug

chainwayxyz · Sep 10, 2024 · 83592ab · 83592ab
1 parent 37ad341
commit 83592ab
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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}')