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, ConstructFromWitnessRangeConstraint)
	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 476 of file bool.test.cpp.

Function Documentation

TYPED_TEST() [1/16]

TYPED_TEST	(	BoolTest	,
		AND
	)

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

TYPED_TEST() [2/16]

TYPED_TEST	(	BoolTest	,
		AssertEqual
	)

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

TYPED_TEST() [3/16]

TYPED_TEST	(	BoolTest	,
		ConditionalAssign
	)

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

TYPED_TEST() [4/16]

TYPED_TEST	(	BoolTest	,
		ConstructFromConstBool
	)

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

TYPED_TEST() [5/16]

TYPED_TEST	(	BoolTest	,
		ConstructFromWitness
	)

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

TYPED_TEST() [6/16]

TYPED_TEST	(	BoolTest	,
		ConstructFromWitnessRangeConstraint
	)

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

TYPED_TEST() [7/16]

TYPED_TEST	(	BoolTest	,
		EQ
	)

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

TYPED_TEST() [8/16]

TYPED_TEST	(	BoolTest	,
		Implies
	)

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

TYPED_TEST() [9/16]

TYPED_TEST	(	BoolTest	,
		ImpliesBothWays
	)

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

TYPED_TEST() [10/16]

TYPED_TEST	(	BoolTest	,
		MustImply
	)

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

TYPED_TEST() [11/16]

TYPED_TEST	(	BoolTest	,
		NEQ
	)

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

TYPED_TEST() [12/16]

TYPED_TEST	(	BoolTest	,
		Normalization
	)

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

TYPED_TEST() [13/16]

TYPED_TEST	(	BoolTest	,
		OR
	)

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

TYPED_TEST() [14/16]

TYPED_TEST	(	BoolTest	,
		TestBasicOperationsTags
	)

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

TYPED_TEST() [15/16]

TYPED_TEST	(	BoolTest	,
		TestSimpleProof
	)

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

TYPED_TEST() [16/16]

TYPED_TEST	(	BoolTest	,
		XOR
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BoolTest	,
		CircuitTypes
	)