tx.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include <vector>
#include "barretenberg/vm2/common/avm_inputs.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/aztec_types.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/execution.hpp"
#include "barretenberg/vm2/generated/relations/lookups_tx.hpp"
#include "barretenberg/vm2/generated/relations/tx.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/simulation/testing/mock_execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/testing/mock_gt.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/testing/public_inputs_builder.hpp"
#include "barretenberg/vm2/tracegen/calldata_trace.hpp"
#include "barretenberg/vm2/tracegen/poseidon2_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/public_inputs_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"
#include "barretenberg/vm2/tracegen/tx_trace.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::constraining::TxExecutionConstrainingWithCalldataTest

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

Functions
	bb::avm2::constraining::TEST (TxExecutionConstrainingTest, WriteTreeValue)
	bb::avm2::constraining::TEST_F (TxExecutionConstrainingTestHelper, CollectFees)
	bb::avm2::constraining::TEST (TxExecutionConstrainingTest, NegativePaddingChecks)
	bb::avm2::constraining::TEST_F (TxExecutionConstrainingWithCalldataTest, SimpleHandleCalldata)

Variable Documentation

precomputed_builder

tracegen::PrecomputedTraceBuilder precomputed_builder

Definition at line 79 of file tx.test.cpp.

public_inputs_builder

tracegen::PublicInputsTraceBuilder public_inputs_builder

Definition at line 80 of file tx.test.cpp.