fix simple test case

barretenberg/cpp/src/barretenberg/bb/main.cpp

@@ -376,7 +376,11 @@ void client_ivc_prove_output_all_msgpack(const std::string& bytecodePath,
     for (Program& program : folding_stack) {
         // Construct a bberg circuit from the acir representation then accumulate it into the IVC
         auto circuit = create_circuit<Builder>(program.constraints, 0, program.witness, false, ivc.goblin.op_queue);
-        circuit.databus_propagation_data.is_kernel = is_kernel;
+
+        // Set the internal is_kernel flag based on the local mechanism only if it has not already been set to true
+        if (!circuit.databus_propagation_data.is_kernel) {
+            circuit.databus_propagation_data.is_kernel = is_kernel;
+        }
         is_kernel = !is_kernel;
         ivc.accumulate(circuit);
     }

barretenberg/cpp/src/barretenberg/client_ivc/client_ivc_auto_verify.test.cpp

@@ -75,6 +75,30 @@ TEST_F(ClientIVCAutoVerifyTests, Basic)
     EXPECT_TRUE(ivc.prove_and_verify());
 };
 
+/**
+ * @brief The number of circuits processed can be odd as long as the last one is a kernel
+ *
+ */
+TEST_F(ClientIVCAutoVerifyTests, BasicOdd)
+{
+    ClientIVC ivc;
+    ivc.auto_verify_mode = true;
+
+    // Initialize the IVC with an arbitrary circuit
+    Builder circuit_0 = create_mock_circuit(ivc, /*is_kernel=*/false);
+    ivc.accumulate(circuit_0);
+
+    // Create another circuit and accumulate
+    Builder circuit_1 = create_mock_circuit(ivc, /*is_kernel=*/true);
+    ivc.accumulate(circuit_1);
+
+    // Create another circuit and accumulate
+    Builder circuit_2 = create_mock_circuit(ivc, /*is_kernel=*/true);
+    ivc.accumulate(circuit_2);
+
+    EXPECT_TRUE(ivc.prove_and_verify());
+};
+
 /**
  * @brief Prove and verify accumulation of an arbitrary set of circuits
  *