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, RamOutOfBoundsRead)

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/10]

TYPED_TEST	(	UltraHonkTests	,
		RamLengthZero
	)

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

TYPED_TEST() [2/10]

TYPED_TEST	(	UltraHonkTests	,
		RamOutOfBoundsRead
	)

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

TYPED_TEST() [3/10]

TYPED_TEST	(	UltraHonkTests	,
		RamTiny
	)

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

TYPED_TEST() [4/10]

TYPED_TEST	(	UltraHonkTests	,
		RomFailureDoubleInit
	)

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

TYPED_TEST() [5/10]

TYPED_TEST	(	UltraHonkTests	,
		RomFailureSingleReadAtPair
	)

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

TYPED_TEST() [6/10]

TYPED_TEST	(	UltraHonkTests	,
		RomLengthZero
	)

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

TYPED_TEST() [7/10]

TYPED_TEST	(	UltraHonkTests	,
		RomMaliciousInitValue
	)

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

TYPED_TEST() [8/10]

TYPED_TEST	(	UltraHonkTests	,
		RomRamMixed
	)

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

TYPED_TEST() [9/10]

TYPED_TEST	(	UltraHonkTests	,
		RomTinyNoReads
	)

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

TYPED_TEST() [10/10]

TYPED_TEST	(	UltraHonkTests	,
		RomTinyRepeated
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	UltraHonkTests	,
		FlavorTypes
	)