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 415af1e commit 4002336
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,7 @@
#include <string>
#include <vector>

using namespace bb;

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

using namespace bb;
using namespace avm_trace;

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

using namespace avm_trace;

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

using namespace bb;

namespace avm_trace {
/**
* @brief Helper routine proving and verifying a proof based on the supplied trace
Expand Down
4 changes: 2 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/tests/helpers.test.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,6 @@
EXPECT_TRUE(message.find(expectedMessage) != std::string::npos); \
}
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);
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

0 comments on commit 4002336

Please sign in to comment.