From 99536f2ab3dfb4f00c6ef8f19e49f63f8fa5f89b Mon Sep 17 00:00:00 2001 From: fcarreiro Date: Fri, 20 Sep 2024 09:13:18 +0000 Subject: [PATCH] chore(avm): smaller skippable test --- .../src/barretenberg/vm/avm/tests/fuzz_skippable.test.cpp | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/barretenberg/cpp/src/barretenberg/vm/avm/tests/fuzz_skippable.test.cpp b/barretenberg/cpp/src/barretenberg/vm/avm/tests/fuzz_skippable.test.cpp index f513cd87cf4f..15b137511688 100644 --- a/barretenberg/cpp/src/barretenberg/vm/avm/tests/fuzz_skippable.test.cpp +++ b/barretenberg/cpp/src/barretenberg/vm/avm/tests/fuzz_skippable.test.cpp @@ -15,10 +15,9 @@ using namespace bb::Avm_vm; TEST(AvmSkippableTests, shouldSkipCorrectly) { using FF = AvmFlavor::FF; - constexpr size_t TRACE_SIZE = 1 << 15; + constexpr size_t TRACE_SIZE = 300; std::vector> trace(TRACE_SIZE); - std::cerr << "Generating trace of size " << TRACE_SIZE << "..." << std::endl; // This is the most time consuming part of this test! // In particular, the generation of random fields. bb::parallel_for(trace.size(), [&](size_t i) { @@ -39,13 +38,11 @@ TEST(AvmSkippableTests, shouldSkipCorrectly) // Set the conditions for skippable to return true. row.poseidon2_sel_poseidon_perm = 0; }); - std::cerr << "Done generating trace..." << std::endl; // We build the polynomials needed to run "sumcheck". AvmCircuitBuilder cb; cb.set_trace(std::move(trace)); auto polys = cb.compute_polynomials(); - std::cerr << "Done computing polynomials..." << std::endl; // For each skippable relation we will check: // 1. That Relation::skippable returns true (i.e., we correctly set the conditions) @@ -75,7 +72,7 @@ TEST(AvmSkippableTests, shouldSkipCorrectly) if (result[j] != 0) { EXPECT_EQ(result[j], 0) << "Relation " << Relation::NAME << " subrelation " << j << " was expected to be zero."; - GTEST_SKIP(); + GTEST_FAIL(); } } }