attempt #2

AztecProtocol · Sep 2, 2024 · 41e5441 · 41e5441
1 parent d0cbf9e
commit 41e5441
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp b/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.test.cpp
@@ -128,7 +128,9 @@ TEST_F(ClientIVCTests, BasicFailure)
             break;
         }
     }
-    EXPECT_ANY_THROW(create_mock_circuit(ivc));
+    // Accumulate another circuit; this involves recursive folding verification of the bad proof
+    Builder circuit_2 = create_mock_circuit(ivc);
+    EXPECT_ANY_THROW(ivc.accumulate(circuit_2));
 };
 
 /**