Skip to content

Commit

Permalink
fix: revert helpers.test.*
Browse files Browse the repository at this point in the history
  • Loading branch information
ludamad0 committed Jan 22, 2024
1 parent eebb62e commit 415af1e
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 7 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
#include <string>
#include <vector>

using namespace avm_trace;
using namespace bb;

class AvmMiniArithmeticTests : public ::testing::Test {
public:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
#include <string>
#include <vector>

using namespace avm_trace;
using namespace bb;

class AvmMiniControlFlowTests : public ::testing::Test {
public:
Expand Down
4 changes: 2 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/tests/helpers.test.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,7 @@
#include "barretenberg/vm/generated/AvmMini_verifier.hpp"
#include <gtest/gtest.h>

using namespace avm_trace;

namespace avm_trace {
/**
* @brief Helper routine proving and verifying a proof based on the supplied trace
*
Expand Down Expand Up @@ -62,3 +61,4 @@ void mutate_ic_in_trace(std::vector<Row>& trace, std::function<bool(Row)>&& sele
EXPECT_TRUE(mem_row != trace.end());
mem_row->memTrace_m_val = newValue;
};
} // namespace avm_trace
7 changes: 4 additions & 3 deletions barretenberg/cpp/src/barretenberg/vm/tests/helpers.test.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@
std::string message = e.what(); \
EXPECT_TRUE(message.find(expectedMessage) != std::string::npos); \
}

void validate_trace_proof(std::vector<Row>&& trace);
void mutate_ic_in_trace(std::vector<Row>& trace, std::function<bool(Row)>&& selectRow, FF const& newValue);
namespace avm_trace {
void avm_validate_trace_proof(std::vector<Row>&& trace);
void avm_mutate_ic_in_trace(std::vector<Row>& trace, std::function<bool(Row)>&& selectRow, FF const& newValue);
} // namespace avm_trace

0 comments on commit 415af1e

Please sign in to comment.