Revert "chore: debug statements update"

This reverts commit d745668.

Author: Maillew

crates/circuits/poseidon2-air/src/tests.rs

@@ -54,7 +54,7 @@ fn run_poseidon2_subchip_test(subchip: Arc<Poseidon2SubChip<BabyBear, 0>>, rng:
         .expect("Verification failed");
 
     // negative test
-    // disable_debug_builder();
+    disable_debug_builder();
     for _ in 0..10 {
         let rand_idx = rng.gen_range(0..subchip.air.width());
         let rand_inc = BabyBear::from_canonical_u32(rng.gen_range(1..=1 << 27));

crates/circuits/primitives/src/assert_less_than/tests.rs

@@ -180,7 +180,7 @@ fn test_assert_less_than_negative_1() {
     // Make the trace invalid
     trace.values.swap(0, 1);
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(airs, vec![trace, range_trace]).err(),
         Some(VerificationError::OodEvaluationMismatch),
@@ -205,7 +205,7 @@ fn test_assert_less_than_negative_2() {
     // Make the trace invalid
     trace.values[3] = FieldAlgebra::from_canonical_u64(1 << decomp as u64);
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(airs, vec![trace, range_trace],).err(),
         Some(VerificationError::OodEvaluationMismatch),

crates/circuits/primitives/src/bitwise_op_lookup/tests/mod.rs

@@ -144,7 +144,7 @@ fn run_negative_test(bad_row: (u32, u32, u32, BitwiseOperation)) {
         lookup.generate_trace(),
     ];
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(chips, traces).err(),
         Some(VerificationError::ChallengePhaseError),

crates/circuits/primitives/src/is_equal/tests.rs

@@ -129,7 +129,7 @@ fn test_single_is_zero_fail(x: u32, y: u32) {
         FieldAlgebra::ONE
     };
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(
             any_rap_arc_vec![IsEqTestAir(IsEqSubAir)],

crates/circuits/primitives/src/is_equal_array/tests.rs

@@ -156,7 +156,7 @@ fn test_is_eq_array_single_row_fail(x: [u32; 3], y: [u32; 3]) {
     let air = chip.air;
     let mut trace = chip.generate_trace();
 
-    // disable_debug_builder();
+    disable_debug_builder();
     let row: &mut IsEqArrayCols<BabyBear, 3> = trace.values.as_mut_slice().borrow_mut();
     row.out = BabyBear::ONE - row.out;
     assert_eq!(
@@ -182,7 +182,7 @@ fn test_is_eq_array_fail_rand() {
     let air = chip.air;
     let trace = chip.generate_trace();
 
-    // disable_debug_builder();
+    disable_debug_builder();
     for i in 0..height {
         for j in 0..N {
             let mut prank_trace = trace.clone();

crates/circuits/primitives/src/is_less_than/tests.rs

@@ -171,7 +171,7 @@ fn test_is_less_than_negative() {
 
     trace.values[2] = FieldAlgebra::from_canonical_u64(0);
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(airs, vec![trace, range_trace],).err(),
         Some(VerificationError::OodEvaluationMismatch),

crates/circuits/primitives/src/is_less_than_array/tests.rs

@@ -187,7 +187,7 @@ fn test_is_less_than_tuple_chip_negative() {
 
     trace.values[2] = FieldAlgebra::from_canonical_u64(0);
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(
             any_rap_arc_vec![air, range_checker.air],
@@ -209,7 +209,7 @@ fn test_is_less_than_tuple_chip_nonzero_diff() {
     let trace = chip.generate_wrong_trace();
     let range_checker_trace = range_checker.generate_trace();
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(
             any_rap_arc_vec![air, range_checker.air],

crates/circuits/primitives/src/is_zero/tests.rs

@@ -133,7 +133,7 @@ fn test_single_is_zero_fail(x: u32) {
     let mut trace = chip.generate_trace();
     trace.values[1] = BabyBear::ONE - trace.values[1];
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearPoseidon2Engine::run_simple_test_no_pis_fast(any_rap_arc_vec![air], vec![trace])
             .err(),
@@ -153,7 +153,7 @@ fn test_vec_is_zero_fail(x_vec: [u32; 4], expected: [u32; 4]) {
     let air = chip.air;
     let mut trace = chip.generate_trace();
 
-    // disable_debug_builder();
+    disable_debug_builder();
     for (i, _value) in expected.iter().enumerate() {
         trace.row_mut(i)[1] = BabyBear::ONE - trace.row_mut(i)[1];
         assert_eq!(

crates/circuits/primitives/src/range_gate/tests.rs

@@ -96,7 +96,7 @@ fn negative_test_range_gate_chip() {
         2,
     );
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearBlake3Engine::run_simple_test_no_pis_fast(
             any_rap_arc_vec![range_checker.air],

crates/circuits/primitives/src/range_tuple/tests/mod.rs

@@ -117,7 +117,7 @@ fn negative_test_range_tuple_chip() {
     // Corrupt the trace to make it invalid
     range_trace.values[0] = BabyBear::from_wrapped_u32(99);
 
-    // disable_debug_builder();
+    disable_debug_builder();
     assert_eq!(
         BabyBearBlake3Engine::run_simple_test_no_pis_fast(
             any_rap_arc_vec![range_checker.air],