rom_ram.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "failure_test_utils.hpp"
#include "ultra_honk.test.hpp"

Go to the source code of this file.

Classes
class	MemoryTests_< Flavor >

Typedefs
using	FlavorTypes = testing::Types< UltraFlavor, UltraZKFlavor, UltraKeccakFlavor, UltraKeccakZKFlavor >

Functions
	TYPED_TEST_SUITE (UltraHonkTests, FlavorTypes)
	TYPED_TEST (UltraHonkTests, RomLengthZero)
	TYPED_TEST (UltraHonkTests, RomTinyNoReads)
	TYPED_TEST (UltraHonkTests, RomTinyRepeated)
	TYPED_TEST (UltraHonkTests, RamLengthZero)
	TYPED_TEST (UltraHonkTests, RamTiny)
	TYPED_TEST (UltraHonkTests, RomRamMixed)
	TYPED_TEST (UltraHonkTests, RomFailureDoubleInit)
	TYPED_TEST (UltraHonkTests, RomFailureSingleReadAtPair)
	TYPED_TEST (UltraHonkTests, RomMaliciousInitValue)
	TYPED_TEST (UltraHonkTests, RomMaliciousFieldWrap)
	TYPED_TEST (UltraHonkTests, RomMaliciousCrossArrayRead)
	TYPED_TEST (UltraHonkTests, RomMaliciousForgedReadValue)
	TYPED_TEST (UltraHonkTests, RomMaliciousMultiplicity)
	TYPED_TEST (UltraHonkTests, RomLogupInitOnly)
	TYPED_TEST (UltraHonkTests, RomSingleValueDoubleInitThrows)
	TYPED_TEST (UltraHonkTests, RamMaliciousFieldWrap)
	TYPED_TEST (UltraHonkTests, RamOutOfBoundsRead)
	TYPED_TEST (UltraHonkTests, RamOutOfBoundsWrite)
	TYPED_TEST (UltraHonkTests, RomOutOfBoundsRead)
	TYPED_TEST (UltraHonkTests, TwinRomOutOfBoundsRead)

Typedef Documentation

FlavorTypes

using FlavorTypes = testing::Types<UltraFlavor, UltraZKFlavor, UltraKeccakFlavor, UltraKeccakZKFlavor>

Definition at line 16 of file rom_ram.test.cpp.

Function Documentation

TYPED_TEST() [1/20]

TYPED_TEST	(	UltraHonkTests	,
		RamLengthZero
	)

Definition at line 365 of file rom_ram.test.cpp.

TYPED_TEST() [2/20]

TYPED_TEST	(	UltraHonkTests	,
		RamMaliciousFieldWrap
	)

Definition at line 713 of file rom_ram.test.cpp.

TYPED_TEST() [3/20]

TYPED_TEST	(	UltraHonkTests	,
		RamOutOfBoundsRead
	)

Definition at line 777 of file rom_ram.test.cpp.

TYPED_TEST() [4/20]

TYPED_TEST	(	UltraHonkTests	,
		RamOutOfBoundsWrite
	)

Definition at line 820 of file rom_ram.test.cpp.

TYPED_TEST() [5/20]

TYPED_TEST	(	UltraHonkTests	,
		RamTiny
	)

Definition at line 374 of file rom_ram.test.cpp.

TYPED_TEST() [6/20]

TYPED_TEST	(	UltraHonkTests	,
		RomFailureDoubleInit
	)

Definition at line 406 of file rom_ram.test.cpp.

TYPED_TEST() [7/20]

TYPED_TEST	(	UltraHonkTests	,
		RomFailureSingleReadAtPair
	)

Definition at line 419 of file rom_ram.test.cpp.

TYPED_TEST() [8/20]

TYPED_TEST	(	UltraHonkTests	,
		RomLengthZero
	)

Definition at line 322 of file rom_ram.test.cpp.

TYPED_TEST() [9/20]

TYPED_TEST	(	UltraHonkTests	,
		RomLogupInitOnly
	)

Definition at line 681 of file rom_ram.test.cpp.

TYPED_TEST() [10/20]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousCrossArrayRead
	)

Definition at line 550 of file rom_ram.test.cpp.

TYPED_TEST() [11/20]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousFieldWrap
	)

Definition at line 481 of file rom_ram.test.cpp.

TYPED_TEST() [12/20]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousForgedReadValue
	)

Definition at line 611 of file rom_ram.test.cpp.

TYPED_TEST() [13/20]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousInitValue
	)

Definition at line 433 of file rom_ram.test.cpp.

TYPED_TEST() [14/20]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousMultiplicity
	)

Definition at line 642 of file rom_ram.test.cpp.

TYPED_TEST() [15/20]

TYPED_TEST	(	UltraHonkTests	,
		RomOutOfBoundsRead
	)

Definition at line 860 of file rom_ram.test.cpp.

TYPED_TEST() [16/20]

TYPED_TEST	(	UltraHonkTests	,
		RomRamMixed
	)

Definition at line 388 of file rom_ram.test.cpp.

TYPED_TEST() [17/20]

TYPED_TEST	(	UltraHonkTests	,
		RomSingleValueDoubleInitThrows
	)

Definition at line 699 of file rom_ram.test.cpp.

TYPED_TEST() [18/20]

TYPED_TEST	(	UltraHonkTests	,
		RomTinyNoReads
	)

Definition at line 332 of file rom_ram.test.cpp.

TYPED_TEST() [19/20]

TYPED_TEST	(	UltraHonkTests	,
		RomTinyRepeated
	)

Definition at line 347 of file rom_ram.test.cpp.

TYPED_TEST() [20/20]

TYPED_TEST	(	UltraHonkTests	,
		TwinRomOutOfBoundsRead
	)

Definition at line 903 of file rom_ram.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	UltraHonkTests	,
		FlavorTypes
	)