bool.test.cpp File Reference

#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 (SymbolicBool, and)
	TEST (SymbolicBool, or)
	TEST (SymbolicBool, not)
	TEST (SymbolicBool, IfElse)

Function Documentation

TEST() [1/4]

TEST	(	SymbolicBool	,
		and
	)

Definition at line 13 of file bool.test.cpp.

TEST() [2/4]

TEST	(	SymbolicBool	,
		IfElse
	)

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

TEST() [3/4]

TEST	(	SymbolicBool	,
		not
	)

Definition at line 51 of file bool.test.cpp.

TEST() [4/4]

TEST	(	SymbolicBool	,
		or
	)

Definition at line 32 of file bool.test.cpp.