base case test for goblin ultra check circuit

barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/goblin_ultra_circuit_builder.test.cpp

@@ -8,14 +8,23 @@ auto& engine = numeric::random::get_debug_engine();
 }
 namespace proof_system {
 
+TEST(GoblinUltraCircuitBuilder, BaseCase)
+{
+    GoblinUltraCircuitBuilder circuit_constructor = GoblinUltraCircuitBuilder();
+    fr a = fr::one();
+    circuit_constructor.add_public_variable(a);
+    bool result = circuit_constructor.check_circuit();
+    EXPECT_EQ(result, true);
+}
+
 /**
  * @brief Test the queueing of simple ecc ops via the Goblin builder
  * @details There are two things to check here: 1) When ecc ops are queued by the builder, the corresponding native
  * operations are performed correctly by the internal ecc op queue, and 2) The ecc op gate operands are correctly
  * encoded in the op_wires, i.e. the operands can be reconstructed as expected.
  *
  */
-TEST(UltraCircuitBuilder, GoblinSimple)
+TEST(GoblinUltraCircuitBuilder, GoblinSimple)
 {
     const size_t CHUNK_SIZE = plonk::NUM_LIMB_BITS_IN_FIELD_SIMULATION * 2;
 
@@ -81,7 +90,7 @@ TEST(UltraCircuitBuilder, GoblinSimple)
  * @brief Check that the ultra ops are recorded correctly in the EccOpQueue
  *
  */
-TEST(UltraCircuitBuilder, GoblinEccOpQueueUltraOps)
+TEST(GoblinUltraCircuitBuilder, GoblinEccOpQueueUltraOps)
 {
     // Construct a simple circuit with op gates
     auto builder = GoblinUltraCircuitBuilder();