#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include <tuple>
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/full_row.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/simulation/alu.hpp"
#include "barretenberg/vm2/simulation/events/alu_event.hpp"
#include "barretenberg/vm2/simulation/events/field_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/range_check.hpp"
#include "barretenberg/vm2/simulation/testing/mock_field_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_range_check.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/tracegen/alu_trace.hpp"
#include "barretenberg/vm2/tracegen/lib/instruction_spec.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::tracegen

Variable Documentation

◆ a

MemoryValue a

Definition at line 1375 of file alu_trace.test.cpp.

◆ builder

AluTraceBuilder builder

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

◆ dst_tag

MemoryTag dst_tag

Definition at line 1376 of file alu_trace.test.cpp.

◆ expected_hi_128

FF expected_hi_128

Definition at line 1457 of file alu_trace.test.cpp.

◆ expected_lo_128

FF expected_lo_128

Definition at line 1456 of file alu_trace.test.cpp.

◆ expected_mid

FF expected_mid

Definition at line 1458 of file alu_trace.test.cpp.

◆ expected_result

FF expected_result

Definition at line 1377 of file alu_trace.test.cpp.

◆ trace

TestTraceContainer trace

Definition at line 118 of file alu_trace.test.cpp.

Namespaces