chore: add sanity check that offchain verification passes

noir-lang · Oct 15, 2023 · e4cedfd · e4cedfd
1 parent 16d1c23
commit e4cedfd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts b/compiler/integration-tests/test/node/onchain_recursive_verification.test.ts
@@ -51,6 +51,7 @@ it(`smart contract can verify a recursive proof`, async () => {
   };
 
   const recursion_proof = await recursion.generateFinalProof(recursion_inputs);
+  expect(await recursion.verifyFinalProof(recursion_proof)).to.be.true;
 
   // Smart contract verification