logic_constraint.test.cpp File Reference

#include "logic_constraint.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/test_class_predicate.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
struct	LogicConstraintTestParams< Builder_, Constancy_, num_bits_, is_xor_gate_ >
class	LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >
	Testing functions to generate the LogicConstraintTest test suite. Constancy specifies which inputs to the constraints should be constant. More...
class	LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >::InvalidWitness
class	LogicConstraintTestsNoneConstant< Params >
class	LogicConstraintTestsInput1Constant< Params >
class	LogicConstraintTestsInput2Constant< Params >
class	LogicConstraintTestsBothConstant< Params >

Typedefs
template<InputConstancy Constancy>
using	LogicTestConfigs = testing::Types< LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 251, false >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 128, false >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 16, false >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 1, false >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 251, true >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 128, true >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 16, true >, LogicConstraintTestParams< UltraCircuitBuilder, Constancy, 1, true >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 251, false >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 128, false >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 16, false >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 1, false >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 251, true >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 128, true >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 16, true >, LogicConstraintTestParams< MegaCircuitBuilder, Constancy, 1, true > >

Enumerations
enum class	InputConstancy : uint8_t {   None , Input1 , Input2 , Both ,   None , Input1 , Input2 , Both ,   None , Points , Scalars , Both }

Functions
	TYPED_TEST_SUITE (LogicConstraintTestsNoneConstant, LogicTestConfigs< InputConstancy::None >)
	TYPED_TEST_SUITE (LogicConstraintTestsInput1Constant, LogicTestConfigs< InputConstancy::Input1 >)
	TYPED_TEST_SUITE (LogicConstraintTestsInput2Constant, LogicTestConfigs< InputConstancy::Input2 >)
	TYPED_TEST_SUITE (LogicConstraintTestsBothConstant, LogicTestConfigs< InputConstancy::Both >)
	TYPED_TEST (LogicConstraintTestsNoneConstant, GenerateVKFromConstraints)
	TYPED_TEST (LogicConstraintTestsNoneConstant, Tampering)
	TYPED_TEST (LogicConstraintTestsInput1Constant, GenerateVKFromConstraints)
	TYPED_TEST (LogicConstraintTestsInput1Constant, Tampering)
	TYPED_TEST (LogicConstraintTestsInput2Constant, GenerateVKFromConstraints)
	TYPED_TEST (LogicConstraintTestsInput2Constant, Tampering)
	TYPED_TEST (LogicConstraintTestsBothConstant, GenerateVKFromConstraints)
	TYPED_TEST (LogicConstraintTestsBothConstant, Tampering)

Typedef Documentation

LogicTestConfigs

template<InputConstancy Constancy>

using LogicTestConfigs = testing::Types<LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 251, false>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 128, false>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 16, false>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 1, false>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 251, true>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 128, true>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 16, true>, LogicConstraintTestParams<UltraCircuitBuilder, Constancy, 1, true>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 251, false>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 128, false>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 16, false>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 1, false>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 251, true>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 128, true>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 16, true>, LogicConstraintTestParams<MegaCircuitBuilder, Constancy, 1, true> >

Definition at line 119 of file logic_constraint.test.cpp.

Enumeration Type Documentation

InputConstancy

enum class InputConstancy : uint8_t

strong

Enumerator
None
Input1
Input2
Both
None
Input1
Input2
Both
None
Points
Scalars
Both

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

Function Documentation

TYPED_TEST() [1/8]

TYPED_TEST	(	LogicConstraintTestsBothConstant	,
		GenerateVKFromConstraints
	)

Definition at line 218 of file logic_constraint.test.cpp.

TYPED_TEST() [2/8]

TYPED_TEST	(	LogicConstraintTestsBothConstant	,
		Tampering
	)

Definition at line 225 of file logic_constraint.test.cpp.

TYPED_TEST() [3/8]

TYPED_TEST	(	LogicConstraintTestsInput1Constant	,
		GenerateVKFromConstraints
	)

Definition at line 194 of file logic_constraint.test.cpp.

TYPED_TEST() [4/8]

TYPED_TEST	(	LogicConstraintTestsInput1Constant	,
		Tampering
	)

Definition at line 201 of file logic_constraint.test.cpp.

TYPED_TEST() [5/8]

TYPED_TEST	(	LogicConstraintTestsInput2Constant	,
		GenerateVKFromConstraints
	)

Definition at line 206 of file logic_constraint.test.cpp.

TYPED_TEST() [6/8]

TYPED_TEST	(	LogicConstraintTestsInput2Constant	,
		Tampering
	)

Definition at line 213 of file logic_constraint.test.cpp.

TYPED_TEST() [7/8]

TYPED_TEST	(	LogicConstraintTestsNoneConstant	,
		GenerateVKFromConstraints
	)

Definition at line 182 of file logic_constraint.test.cpp.

TYPED_TEST() [8/8]

TYPED_TEST	(	LogicConstraintTestsNoneConstant	,
		Tampering
	)

Definition at line 189 of file logic_constraint.test.cpp.

TYPED_TEST_SUITE() [1/4]

TYPED_TEST_SUITE	(	LogicConstraintTestsBothConstant	,
		LogicTestConfigs< InputConstancy::Both >
	)

TYPED_TEST_SUITE() [2/4]

TYPED_TEST_SUITE	(	LogicConstraintTestsInput1Constant	,
		LogicTestConfigs< InputConstancy::Input1 >
	)

TYPED_TEST_SUITE() [3/4]

TYPED_TEST_SUITE	(	LogicConstraintTestsInput2Constant	,
		LogicTestConfigs< InputConstancy::Input2 >
	)

TYPED_TEST_SUITE() [4/4]

TYPED_TEST_SUITE	(	LogicConstraintTestsNoneConstant	,
		LogicTestConfigs< InputConstancy::None >
	)