biggroup tests

Author: DanielKotov

barretenberg/cpp/src/barretenberg/boomerang_value_detection/graph_description_goblin.test.cpp

@@ -116,6 +116,11 @@ TEST_F(BoomerangGoblinRecursiveVerifierTests, graph_description_basic)
     auto graph = cdg::StaticAnalyzer(builder, false);
     auto variables_in_one_gate = graph.show_variables_in_one_gate(builder);
     EXPECT_EQ(variables_in_one_gate.size(), 0);
+    if (variables_in_one_gate.size() > 0) {
+        for (const auto& elem : variables_in_one_gate) {
+            info("elem == ", elem);
+        }
+    }
 }
 
 } // namespace bb::stdlib::recursion::honk

barretenberg/cpp/src/barretenberg/stdlib/primitives/biggroup/biggroup_impl.hpp

@@ -122,15 +122,21 @@ element<C, Fq, Fr, G> element<C, Fq, Fr, G>::operator+(const element& other) con
     // yes = infinity_predicate && !lhs_infinity && !rhs_infinity
     // yes = lhs_infinity && rhs_infinity
     // n.b. can likely optimize this
+    info("PRINT in BIGGROUP OLOLLLO");
+    info(lhs_infinity.witness_index);
+    info(rhs_infinity.witness_index);
     bool_ct result_is_infinity = infinity_predicate && (!lhs_infinity && !rhs_infinity);
-    if constexpr (IsUltraBuilder<C>) {
-        result_is_infinity.get_context()->update_used_witnesses(result_is_infinity.witness_index);
-    }
+    /*     if constexpr (IsUltraBuilder<C>) {
+            result_is_infinity.get_context()->update_used_witnesses(result_is_infinity.witness_index);
+        } */
+    info(result_is_infinity.witness_index);
     result_is_infinity = result_is_infinity || (lhs_infinity && rhs_infinity);
-    if constexpr (IsUltraBuilder<C>) {
-        result_is_infinity.get_context()->update_used_witnesses(result_is_infinity.witness_index);
-    }
+    /*     if constexpr (IsUltraBuilder<C>) {
+            result_is_infinity.get_context()->update_used_witnesses(result_is_infinity.witness_index);
+        } */
+    info(result_is_infinity.witness_index);
     result.set_point_at_infinity(result_is_infinity);
+    info(result_is_infinity.get_value());
 
     result.set_origin_tag(OriginTag(get_origin_tag(), other.get_origin_tag()));
     return result;

barretenberg/cpp/src/barretenberg/stdlib_circuit_builders/circuit_builder_base_impl.hpp

@@ -84,6 +84,9 @@ template <typename FF_> uint32_t CircuitBuilderBase<FF_>::add_variable(const FF&
 {
     variables.emplace_back(in);
     const uint32_t index = static_cast<uint32_t>(variables.size()) - 1U;
+    if (index == 19470) {
+        info("OLOLOLOLOL");
+    }
     real_variable_index.emplace_back(index);
     next_var_index.emplace_back(REAL_VARIABLE);
     prev_var_index.emplace_back(FIRST_VARIABLE_IN_CLASS);