iterm.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 (ITerm, addition)
	TEST (ITerm, subtraction)
	TEST (ITerm, multiplication)
	TEST (ITerm, div)
	TEST (ITerm, unsupported_operations)

Function Documentation

TEST() [1/5]

TEST	(	ITerm	,
		addition
	)

Definition at line 15 of file iterm.test.cpp.

TEST() [2/5]

TEST	(	ITerm	,
		div
	)

Definition at line 76 of file iterm.test.cpp.

TEST() [3/5]

TEST	(	ITerm	,
		multiplication
	)

Definition at line 55 of file iterm.test.cpp.

TEST() [4/5]

TEST	(	ITerm	,
		subtraction
	)

Definition at line 35 of file iterm.test.cpp.

TEST() [5/5]

TEST	(	ITerm	,
		unsupported_operations
	)

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