logic.test.cpp File Reference

#include <gtest/gtest.h>
#include "../bool/bool.hpp"
#include "../circuit_builders/circuit_builders.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/honk/types/circuit_type.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "logic.hpp"

Go to the source code of this file.

Classes
class	LogicTest< Builder >

Macros
#define	STDLIB_TYPE_ALIASES

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

Functions
template<class T >
void	ignore_unused (T &)
	TYPED_TEST_SUITE (LogicTest, CircuitTypes)
	TYPED_TEST (LogicTest, TestCorrectLogic)
	TYPED_TEST (LogicTest, LargeOperands)
	TYPED_TEST (LogicTest, DifferentWitnessSameResult)

Macro Definition Documentation

STDLIB_TYPE_ALIASES

#define STDLIB_TYPE_ALIASES

Value:

    using Builder = TypeParam;                                                                                         \
    using witness_ct = stdlib::witness_t<Builder>;                                                                     \
    using field_ct = stdlib::field_t<Builder>;                                                                         \
    using bool_ct = stdlib::bool_t<Builder>;                                                                           \
    using public_witness_ct = stdlib::public_witness_t<Builder>;

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

Typedef Documentation

CircuitTypes

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

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

Function Documentation

ignore_unused()

template<class T >

void ignore_unused

(

T &

)

Definition at line 25 of file logic.test.cpp.

TYPED_TEST() [1/3]

TYPED_TEST	(	LogicTest	,
		DifferentWitnessSameResult
	)

Definition at line 120 of file logic.test.cpp.

TYPED_TEST() [2/3]

TYPED_TEST	(	LogicTest	,
		LargeOperands
	)

Definition at line 91 of file logic.test.cpp.

TYPED_TEST() [3/3]

TYPED_TEST	(	LogicTest	,
		TestCorrectLogic
	)

Definition at line 33 of file logic.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	LogicTest	,
		CircuitTypes
	)