Classes
class	InstructionBuilder

struct	OperandBuilder

class	PublicInputsBuilder

class	TestMemoryTree

Typedefs
using	MemorySimulator = simulation::Memory

using	KeccakSimulator = simulation::KeccakF1600

using	BitwiseSimulator = simulation::Bitwise

using	RangeCheckSimulator = simulation::RangeCheck

using	FieldGreaterThanSimulator = simulation::FieldGreaterThan

using	GreaterThanSimulator = simulation::GreaterThan

using	ExecutionIdManagerSimulator = simulation::ExecutionIdManager

Functions
std::vector< FF >	random_fields (size_t n)

std::vector< uint8_t >	random_bytes (size_t n)

std::vector< ScopedL2ToL1Message >	random_l2_to_l1_messages (size_t n)

std::vector< PublicCallRequestWithCalldata >	random_enqueued_calls (size_t n)

Operand	random_operand (OperandType operand_type)

Instruction	random_instruction (WireOpCode w_opcode)

TestTraceContainer	empty_trace ()

ContractInstance	random_contract_instance ()

ContractClass	random_contract_class (size_t bytecode_size)

std::pair< tracegen::TraceContainer, PublicInputs >	get_minimal_trace_with_pi ()

bool	skip_slow_tests ()
	Check if slow tests should be skipped.

simulation::Operand	random_operand (simulation::OperandType operand_type)

void	generate_keccak_trace_impl (TestTraceContainer &trace, const std::function< void(MemorySimulator &, size_t)> &memory_init_fn, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, bool expect_error, uint16_t space_id)

void	generate_keccak_trace (TestTraceContainer &trace, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, uint16_t space_id)

void	generate_keccak_trace_with_tag_error (TestTraceContainer &trace, MemoryAddress dst_address, MemoryAddress src_address, size_t error_offset, MemoryTag error_tag, uint16_t space_id)

void	generate_keccak_trace_with_slice_error (TestTraceContainer &trace, MemoryAddress dst_address, MemoryAddress src_address, uint16_t space_id)

Typedef Documentation

◆ BitwiseSimulator

using bb::avm2::testing::BitwiseSimulator = typedef simulation::Bitwise

Definition at line 26 of file keccakf1600_fixture.test.cpp.

◆ ExecutionIdManagerSimulator

using bb::avm2::testing::ExecutionIdManagerSimulator = typedef simulation::ExecutionIdManager

Definition at line 30 of file keccakf1600_fixture.test.cpp.

◆ FieldGreaterThanSimulator

using bb::avm2::testing::FieldGreaterThanSimulator = typedef simulation::FieldGreaterThan

Definition at line 28 of file keccakf1600_fixture.test.cpp.

◆ GreaterThanSimulator

using bb::avm2::testing::GreaterThanSimulator = typedef simulation::GreaterThan

Definition at line 29 of file keccakf1600_fixture.test.cpp.

◆ KeccakSimulator

using bb::avm2::testing::KeccakSimulator = typedef simulation::KeccakF1600

Definition at line 25 of file keccakf1600_fixture.test.cpp.

◆ MemorySimulator

using bb::avm2::testing::MemorySimulator = typedef simulation::Memory

Definition at line 24 of file keccakf1600_fixture.test.cpp.

◆ RangeCheckSimulator

using bb::avm2::testing::RangeCheckSimulator = typedef simulation::RangeCheck

Definition at line 27 of file keccakf1600_fixture.test.cpp.

Function Documentation

◆ empty_trace()

tracegen::TestTraceContainer bb::avm2::testing::empty_trace ( )

Definition at line 153 of file fixtures.cpp.

◆ generate_keccak_trace()

void bb::avm2::testing::generate_keccak_trace	(	TestTraceContainer &	trace,
		const std::vector< MemoryAddress > &	dst_addresses,
		const std::vector< MemoryAddress > &	src_addresses,
		uint16_t	space_id
	)

Definition at line 92 of file keccakf1600_fixture.test.cpp.

◆ generate_keccak_trace_impl()

void bb::avm2::testing::generate_keccak_trace_impl	(	TestTraceContainer &	trace,
		const std::function< void(MemorySimulator &, size_t)> &	memory_init_fn,
		const std::vector< MemoryAddress > &	dst_addresses,
		const std::vector< MemoryAddress > &	src_addresses,
		bool	expect_error,
		uint16_t	space_id
	)

Definition at line 40 of file keccakf1600_fixture.test.cpp.

◆ generate_keccak_trace_with_slice_error()

void bb::avm2::testing::generate_keccak_trace_with_slice_error	(	TestTraceContainer &	trace,
		MemoryAddress	dst_address,
		MemoryAddress	src_address,
		uint16_t	space_id
	)

Definition at line 148 of file keccakf1600_fixture.test.cpp.

◆ generate_keccak_trace_with_tag_error()

void bb::avm2::testing::generate_keccak_trace_with_tag_error	(	TestTraceContainer &	trace,
		MemoryAddress	dst_address,
		MemoryAddress	src_address,
		size_t	error_offset,
		MemoryTag	error_tag,
		uint16_t	space_id
	)

Definition at line 115 of file keccakf1600_fixture.test.cpp.

◆ get_minimal_trace_with_pi()

std::pair< tracegen::TraceContainer, PublicInputs > bb::avm2::testing::get_minimal_trace_with_pi ( )

Definition at line 183 of file fixtures.cpp.

◆ random_bytes()

std::vector< uint8_t > bb::avm2::testing::random_bytes ( size_t n )

Definition at line 33 of file fixtures.cpp.

◆ random_contract_class()

ContractClass bb::avm2::testing::random_contract_class ( size_t bytecode_size )

Definition at line 175 of file fixtures.cpp.

◆ random_contract_instance()

ContractInstance bb::avm2::testing::random_contract_instance ( )

Definition at line 159 of file fixtures.cpp.

◆ random_enqueued_calls()

std::vector< PublicCallRequestWithCalldata > bb::avm2::testing::random_enqueued_calls ( size_t n )

Definition at line 60 of file fixtures.cpp.

◆ random_fields()

std::vector< FF > bb::avm2::testing::random_fields ( size_t n )

Definition at line 23 of file fixtures.cpp.

◆ random_instruction()

simulation::Instruction bb::avm2::testing::random_instruction ( WireOpCode w_opcode )

Definition at line 125 of file fixtures.cpp.

◆ random_l2_to_l1_messages()

std::vector< ScopedL2ToL1Message > bb::avm2::testing::random_l2_to_l1_messages ( size_t n )

Definition at line 43 of file fixtures.cpp.

◆ random_operand() [1/2]

Operand bb::avm2::testing::random_operand ( OperandType operand_type )

Definition at line 77 of file fixtures.cpp.

◆ random_operand() [2/2]

simulation::Operand bb::avm2::testing::random_operand ( simulation::OperandType operand_type )

◆ skip_slow_tests()

bool bb::avm2::testing::skip_slow_tests ( )

Check if slow tests should be skipped.

Returns: true if AVM_SLOW_TESTS environment variable is not set, false otherwise

Definition at line 206 of file fixtures.cpp.

Classes

Typedefs

Functions