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 3a2d807
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 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_trac;
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

0 comments on commit 3a2d807

Please sign in to comment.