Remove debug

chainwayxyz · Sep 10, 2024 · e2403d2 · e2403d2
1 parent ab7bbc2
commit e2403d2
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/resources/scripts/cycle-diff.sh b/resources/scripts/cycle-diff.sh
@@ -52,8 +52,6 @@ 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}')