alu_integration.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/relations/alu.hpp"
#include "barretenberg/vm2/simulation/events/alu_event.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.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/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/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/alu_trace.hpp"
#include "barretenberg/vm2/tracegen/field_gt_trace.hpp"
#include "barretenberg/vm2/tracegen/gt_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Go to the source code of this file.

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

Variable Documentation

alu_emitter

EventEmitter<AluEvent> alu_emitter

protected

Definition at line 60 of file alu_integration.test.cpp.

alu_simulator

Alu alu_simulator

protected

Definition at line 66 of file alu_integration.test.cpp.

alu_trace_builder

AluTraceBuilder alu_trace_builder

protected

Definition at line 69 of file alu_integration.test.cpp.

field_gt

FieldGreaterThan field_gt

protected

Definition at line 64 of file alu_integration.test.cpp.

field_gt_builder

FieldGreaterThanTraceBuilder field_gt_builder

protected

Definition at line 72 of file alu_integration.test.cpp.

field_gt_emitter

DeduplicatingEventEmitter<FieldGreaterThanEvent> field_gt_emitter

protected

Definition at line 58 of file alu_integration.test.cpp.

greater_than

GreaterThan greater_than

protected

Definition at line 65 of file alu_integration.test.cpp.

gt_builder

GreaterThanTraceBuilder gt_builder

protected

Definition at line 73 of file alu_integration.test.cpp.

gt_emitter

DeduplicatingEventEmitter<GreaterThanEvent> gt_emitter

protected

Definition at line 59 of file alu_integration.test.cpp.

precomputed_builder

PrecomputedTraceBuilder precomputed_builder

protected

Definition at line 70 of file alu_integration.test.cpp.

range_check

RangeCheck range_check

protected

Definition at line 63 of file alu_integration.test.cpp.

range_check_builder

RangeCheckTraceBuilder range_check_builder

protected

Definition at line 71 of file alu_integration.test.cpp.

range_check_emitter

DeduplicatingEventEmitter<RangeCheckEvent> range_check_emitter

protected

Definition at line 57 of file alu_integration.test.cpp.