#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include <utility>
#include <vector>
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/common/tagged_value.hpp"
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/generated/relations/alu.hpp"
#include "barretenberg/vm2/generated/relations/lookups_alu.hpp"
#include "barretenberg/vm2/simulation/alu.hpp"
#include "barretenberg/vm2/simulation/events/field_gt_event.hpp"
#include "barretenberg/vm2/simulation/events/gt_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/field_gt.hpp"
#include "barretenberg/vm2/simulation/gt.hpp"
#include "barretenberg/vm2/simulation/lib/uint_decomposition.hpp"
#include "barretenberg/vm2/simulation/range_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/tracegen/alu_trace.hpp"
#include "barretenberg/vm2/tracegen/execution_trace.hpp"
#include "barretenberg/vm2/tracegen/field_gt_trace.hpp"
#include "barretenberg/vm2/tracegen/gt_trace.hpp"
#include "barretenberg/vm2/tracegen/lib/lookup_builder.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

namespace	bb::avm2

namespace	bb::avm2::constraining

Variable Documentation

◆ builder

AluTraceBuilder builder

Definition at line 123 of file alu.test.cpp.

◆ field_gt_builder

FieldGreaterThanTraceBuilder field_gt_builder

Definition at line 121 of file alu.test.cpp.

◆ gt_builder

GreaterThanTraceBuilder gt_builder

Definition at line 122 of file alu.test.cpp.

◆ precomputed_builder

PrecomputedTraceBuilder precomputed_builder

Definition at line 119 of file alu.test.cpp.

◆ range_check_builder

RangeCheckTraceBuilder range_check_builder