Skip to content

Commit

Permalink
Fix typo and clarify
Browse files Browse the repository at this point in the history
  • Loading branch information
codygunton committed Feb 29, 2024
1 parent b4e7399 commit 2a0ce26
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -66,10 +66,10 @@ template <typename Flavor> class ProtoGalaxyTests : public testing::Test {
auto folding_prover = composer.create_folding_prover(instances);
auto folding_verifier = composer.create_folding_verifier();

auto proof = folding_prover.fold_instances();
auto res = folding_verifier.verify_folding_proof(proof.folding_data);
EXPECT_EQ(res, expected_result);
return proof.accumulcator;
auto folding_result = folding_prover.fold_instances();
auto verified = folding_verifier.verify_folding_proof(folding_result.folding_data);
EXPECT_EQ(verified, expected_result);
return folding_result.accumulator;
}

static void check_accumulator_target_sum_manual(std::shared_ptr<Instance>& accumulator, bool expected_result)
Expand Down

0 comments on commit 2a0ce26

Please sign in to comment.