data_structures.test.cpp File Reference

#include "data_structures.hpp"
#include "barretenberg/smt_verification/util/smt_util.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (SymbolicTuple, Initialization)
	TEST (SymbolicArray, InitMapSTermSTerm)
	TEST (SymbolicArray, InitVecSTerm)
	TEST (SymbolicArray, InitMapSTupleSTuple)
	TEST (SymbolicArray, InitVecSTuple)
	TEST (SymbolicArray, InitMapSTupleSTerm)
	TEST (SymbolicSet, InitVecSTerm)
	TEST (SymbolicSet, InitVecSTuple)
	TEST (SymbolicSet, Contains)
	TEST (SymbolicArray, InitSymArraySTerm)
	TEST (SymbolicArray, SimpleUseCase)
	TEST (SymbolicArray, OverWrite)
	TEST (SymbolicArray, LookupTable)
	TEST (SymbolicSet, LookupTable)

Function Documentation

TEST() [1/14]

TEST	(	SymbolicArray	,
		InitMapSTermSTerm
	)

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

TEST() [2/14]

TEST	(	SymbolicArray	,
		InitMapSTupleSTerm
	)

Definition at line 100 of file data_structures.test.cpp.

TEST() [3/14]

TEST	(	SymbolicArray	,
		InitMapSTupleSTuple
	)

Definition at line 59 of file data_structures.test.cpp.

TEST() [4/14]

TEST	(	SymbolicArray	,
		InitSymArraySTerm
	)

Definition at line 187 of file data_structures.test.cpp.

TEST() [5/14]

TEST	(	SymbolicArray	,
		InitVecSTerm
	)

Definition at line 44 of file data_structures.test.cpp.

TEST() [6/14]

TEST	(	SymbolicArray	,
		InitVecSTuple
	)

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

TEST() [7/14]

TEST	(	SymbolicArray	,
		LookupTable
	)

Definition at line 302 of file data_structures.test.cpp.

TEST() [8/14]

TEST	(	SymbolicArray	,
		OverWrite
	)

Definition at line 279 of file data_structures.test.cpp.

TEST() [9/14]

TEST	(	SymbolicArray	,
		SimpleUseCase
	)

Definition at line 225 of file data_structures.test.cpp.

TEST() [10/14]

TEST	(	SymbolicSet	,
		Contains
	)

Definition at line 157 of file data_structures.test.cpp.

TEST() [11/14]

TEST	(	SymbolicSet	,
		InitVecSTerm
	)

Definition at line 121 of file data_structures.test.cpp.

TEST() [12/14]

TEST	(	SymbolicSet	,
		InitVecSTuple
	)

Definition at line 135 of file data_structures.test.cpp.

TEST() [13/14]

TEST	(	SymbolicSet	,
		LookupTable
	)

Definition at line 333 of file data_structures.test.cpp.

TEST() [14/14]

TEST	(	SymbolicTuple	,
		Initialization
	)

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