ffiterm.test.cpp File Reference

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

Go to the source code of this file.

Functions
	TEST (FFITerm, addition)
	TEST (FFITerm, subtraction)
	TEST (FFITerm, multiplication)
	TEST (FFITerm, division)
	TEST (FFITerm, unsupported_operations)

Function Documentation

TEST() [1/5]

TEST	(	FFITerm	,
		addition
	)

Definition at line 10 of file ffiterm.test.cpp.

TEST() [2/5]

TEST	(	FFITerm	,
		division
	)

Definition at line 67 of file ffiterm.test.cpp.

TEST() [3/5]

TEST	(	FFITerm	,
		multiplication
	)

Definition at line 48 of file ffiterm.test.cpp.

TEST() [4/5]

TEST	(	FFITerm	,
		subtraction
	)

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

TEST() [5/5]

TEST	(	FFITerm	,
		unsupported_operations
	)

Definition at line 89 of file ffiterm.test.cpp.