#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/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/gadgets/alu.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/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 1377 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 1378 of file alu_trace.test.cpp.

◆ expected_hi_128

FF expected_hi_128

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

◆ expected_lo_128

FF expected_lo_128

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

◆ expected_mid

FF expected_mid

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

◆ expected_result

FF expected_result

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

◆ trace

TestTraceContainer trace

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

Namespaces