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	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, uint32_t space_id)

void	generate_keccak_trace (TestTraceContainer &trace, const std::vector< MemoryAddress > &dst_addresses, const std::vector< MemoryAddress > &src_addresses, uint32_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, uint32_t space_id)

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

Typedef Documentation

◆ BitwiseSimulator

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

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

◆ ExecutionIdManagerSimulator

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

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

◆ KeccakSimulator

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

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

◆ MemorySimulator

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

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

◆ RangeCheckSimulator

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

Definition at line 26 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,
		uint32_t	space_id
	)

Definition at line 82 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,
		uint32_t	space_id
	)

Definition at line 36 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,
		uint32_t	space_id
	)

Definition at line 138 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,
		uint32_t	space_id
	)

Definition at line 105 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 182 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 174 of file fixtures.cpp.

◆ random_contract_instance()

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

Definition at line 158 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 199 of file fixtures.cpp.

Classes

Typedefs

Functions