ec_operations.test.cpp File Reference

#include "ec_operations.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 "barretenberg/stdlib/primitives/group/cycle_group.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	EcOperationsTestingFunctions< Builder_, Constancy >
	Testing functions to generate the EcOperationTest test suite. Constancy specifies which inputs to the constraints should be constant. More...
class	EcOperationsTestingFunctions< Builder_, Constancy >::InvalidWitness
class	EcOperationsTestsNoneConstant< Builder >
class	EcOperationsTestsInput1Constant< Builder >
class	EcOperationsTestsInput2Constant< Builder >
class	EcOperationsTestsBothConstant< Builder >

Typedefs
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

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

Functions
	TYPED_TEST_SUITE (EcOperationsTestsNoneConstant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsInput1Constant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsInput2Constant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsBothConstant, BuilderTypes)
	TYPED_TEST (EcOperationsTestsNoneConstant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsNoneConstant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsNoneConstant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsNoneConstant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsNoneConstant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsInput1Constant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsInput1Constant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsInput1Constant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsInput1Constant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsInput1Constant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsInput2Constant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsInput2Constant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsInput2Constant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsInput2Constant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsInput2Constant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsBothConstant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsBothConstant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsBothConstant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsBothConstant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsBothConstant, InvalidWitnesses)

Typedef Documentation

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

Definition at line 169 of file ec_operations.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 14 of file ec_operations.test.cpp.

Function Documentation

TYPED_TEST() [1/20]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		ConstantTrue
	)

Definition at line 272 of file ec_operations.test.cpp.

TYPED_TEST() [2/20]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		GenerateVKFromConstraints
	)

Definition at line 266 of file ec_operations.test.cpp.

TYPED_TEST() [3/20]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		InvalidWitnesses
	)

Definition at line 290 of file ec_operations.test.cpp.

TYPED_TEST() [4/20]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessFalseSlow
	)

Definition at line 284 of file ec_operations.test.cpp.

TYPED_TEST() [5/20]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessTrue
	)

Definition at line 278 of file ec_operations.test.cpp.

TYPED_TEST() [6/20]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		ConstantTrue
	)

Definition at line 212 of file ec_operations.test.cpp.

TYPED_TEST() [7/20]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [8/20]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		InvalidWitnesses
	)

Definition at line 230 of file ec_operations.test.cpp.

TYPED_TEST() [9/20]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessFalseSlow
	)

Definition at line 224 of file ec_operations.test.cpp.

TYPED_TEST() [10/20]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessTrue
	)

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

TYPED_TEST() [11/20]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		ConstantTrue
	)

Definition at line 242 of file ec_operations.test.cpp.

TYPED_TEST() [12/20]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		GenerateVKFromConstraints
	)

Definition at line 236 of file ec_operations.test.cpp.

TYPED_TEST() [13/20]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		InvalidWitnesses
	)

Definition at line 260 of file ec_operations.test.cpp.

TYPED_TEST() [14/20]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessFalseSlow
	)

Definition at line 254 of file ec_operations.test.cpp.

TYPED_TEST() [15/20]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessTrue
	)

Definition at line 248 of file ec_operations.test.cpp.

TYPED_TEST() [16/20]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [17/20]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		GenerateVKFromConstraints
	)

Definition at line 176 of file ec_operations.test.cpp.

TYPED_TEST() [18/20]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		InvalidWitnesses
	)

Definition at line 200 of file ec_operations.test.cpp.

TYPED_TEST() [19/20]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [20/20]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessTrue
	)

Definition at line 188 of file ec_operations.test.cpp.

TYPED_TEST_SUITE() [1/4]

TYPED_TEST_SUITE	(	EcOperationsTestsBothConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/4]

TYPED_TEST_SUITE	(	EcOperationsTestsInput1Constant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/4]

TYPED_TEST_SUITE	(	EcOperationsTestsInput2Constant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [4/4]

TYPED_TEST_SUITE	(	EcOperationsTestsNoneConstant	,
		BuilderTypes
	)