bool.test.cpp File Reference

#include "bool.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <gtest/gtest.h>
#include <tuple>

Go to the source code of this file.

Classes
class	BoolTest< Builder_ >
struct	BoolTest< Builder_ >::BoolInput

Typedefs
using	CircuitTypes = ::testing::Types< bb::UltraCircuitBuilder >

Functions
	TYPED_TEST_SUITE (BoolTest, CircuitTypes)
	TYPED_TEST (BoolTest, ConstructFromConstBool)
	TYPED_TEST (BoolTest, ConstructFromWitness)
	TYPED_TEST (BoolTest, Normalization)
	TYPED_TEST (BoolTest, XOR)
	TYPED_TEST (BoolTest, AND)
	TYPED_TEST (BoolTest, OR)
	TYPED_TEST (BoolTest, EQ)
	TYPED_TEST (BoolTest, NEQ)
	TYPED_TEST (BoolTest, Implies)
	TYPED_TEST (BoolTest, ImpliesBothWays)
	TYPED_TEST (BoolTest, MustImply)
	TYPED_TEST (BoolTest, ConditionalAssign)
	TYPED_TEST (BoolTest, TestBasicOperationsTags)
	TYPED_TEST (BoolTest, TestSimpleProof)
	TYPED_TEST (BoolTest, AssertEqual)

Typedef Documentation

CircuitTypes

using CircuitTypes = ::testing::Types<bb::UltraCircuitBuilder>

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

Function Documentation

TYPED_TEST() [1/15]

TYPED_TEST	(	BoolTest	,
		AND
	)

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

TYPED_TEST() [2/15]

TYPED_TEST	(	BoolTest	,
		AssertEqual
	)

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

TYPED_TEST() [3/15]

TYPED_TEST	(	BoolTest	,
		ConditionalAssign
	)

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

TYPED_TEST() [4/15]

TYPED_TEST	(	BoolTest	,
		ConstructFromConstBool
	)

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

TYPED_TEST() [5/15]

TYPED_TEST	(	BoolTest	,
		ConstructFromWitness
	)

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

TYPED_TEST() [6/15]

TYPED_TEST	(	BoolTest	,
		EQ
	)

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

TYPED_TEST() [7/15]

TYPED_TEST	(	BoolTest	,
		Implies
	)

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

TYPED_TEST() [8/15]

TYPED_TEST	(	BoolTest	,
		ImpliesBothWays
	)

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

TYPED_TEST() [9/15]

TYPED_TEST	(	BoolTest	,
		MustImply
	)

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

TYPED_TEST() [10/15]

TYPED_TEST	(	BoolTest	,
		NEQ
	)

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

TYPED_TEST() [11/15]

TYPED_TEST	(	BoolTest	,
		Normalization
	)

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

TYPED_TEST() [12/15]

TYPED_TEST	(	BoolTest	,
		OR
	)

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

TYPED_TEST() [13/15]

TYPED_TEST	(	BoolTest	,
		TestBasicOperationsTags
	)

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

TYPED_TEST() [14/15]

TYPED_TEST	(	BoolTest	,
		TestSimpleProof
	)

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

TYPED_TEST() [15/15]

TYPED_TEST	(	BoolTest	,
		XOR
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BoolTest	,
		CircuitTypes
	)