ffterm.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 (FFTerm, addition)
	TEST (FFTerm, subtraction)
	TEST (FFTerm, multiplication)
	TEST (FFTerm, division)
	TEST (FFTerm, unsupported_operations)

Function Documentation

TEST() [1/5]

TEST	(	FFTerm	,
		addition
	)

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

TEST() [2/5]

TEST	(	FFTerm	,
		division
	)

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

TEST() [3/5]

TEST	(	FFTerm	,
		multiplication
	)

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

TEST() [4/5]

TEST	(	FFTerm	,
		subtraction
	)

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

TEST() [5/5]

TEST	(	FFTerm	,
		unsupported_operations
	)

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