#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/ecc/curves/bn254/fq.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "../bool/bool.hpp"
#include "../byte_array/byte_array.hpp"
#include "../field/field.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/uintx/uintx.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <gtest/gtest.h>
#include <memory>
#include <utility>

Classes
struct	extract_builder< BigField< Builder, Params > >

struct	extract_fq_params< BigField< Builder, Params > >

class	stdlib_bigfield< BigField >

Macros
#define	BINARY_OP_TEST(op_name, bench_name, op_symbol, repetitions, reduced_inputs, reduction_after)

#define	ASSIGNMENT_OP_TEST(op_name, bench_name, op_symbol, repetitions, reduced_inputs, reduction_after)

Typedefs
template<typename BigField >
using	builder_t = typename extract_builder< BigField >::type

template<typename BigField >
using	params_t = typename extract_fq_params< BigField >::type

using	CircuitTypes = testing::Types< typename bb::stdlib::bn254< UltraCircuitBuilder >::BaseField, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::BaseField, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::ScalarField, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::BaseField, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::ScalarField >

Enumerations
enum struct	InputType { WITNESS , CONSTANT , WITNESS , CONSTANT , WITNESS , CONSTANT }

Functions
constexpr InputType	operator! (InputType type)

	TYPED_TEST_SUITE (stdlib_bigfield, CircuitTypes)

	TYPED_TEST (stdlib_bigfield, assert_not_equal_regression)

	TYPED_TEST (stdlib_bigfield, add_to_lower_limb_regression)

	TYPED_TEST (stdlib_bigfield, badmul)

	TYPED_TEST (stdlib_bigfield, division_formula_regression)

	TYPED_TEST (stdlib_bigfield, basic_tag_logic)

	TYPED_TEST (stdlib_bigfield, test_constructor)

	TYPED_TEST (stdlib_bigfield, test_unsafe_construct_from_limbs)

	TYPED_TEST (stdlib_bigfield, test_construct_from_limbs)

	TYPED_TEST (stdlib_bigfield, test_construct_from_limbs_fails)

	TYPED_TEST (stdlib_bigfield, add_two)

	TYPED_TEST (stdlib_bigfield, add_two_with_constants)

	TYPED_TEST (stdlib_bigfield, sum)

	TYPED_TEST (stdlib_bigfield, sum_with_mixed_inputs)

	TYPED_TEST (stdlib_bigfield, sum_with_constant)

	TYPED_TEST (stdlib_bigfield, mul)

	TYPED_TEST (stdlib_bigfield, mul_with_constant)

	TYPED_TEST (stdlib_bigfield, sub)

	TYPED_TEST (stdlib_bigfield, sub_with_constant)

	TYPED_TEST (stdlib_bigfield, add)

	TYPED_TEST (stdlib_bigfield, add_with_constant)

	TYPED_TEST (stdlib_bigfield, div)

	TYPED_TEST (stdlib_bigfield, div_with_constant)

	TYPED_TEST (stdlib_bigfield, sqr)

	TYPED_TEST (stdlib_bigfield, sqr_with_constant)

	TYPED_TEST (stdlib_bigfield, negate)

	TYPED_TEST (stdlib_bigfield, mul_assignment)

	TYPED_TEST (stdlib_bigfield, mul_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, add_assignment)

	TYPED_TEST (stdlib_bigfield, add_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, sub_assignment)

	TYPED_TEST (stdlib_bigfield, sub_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, div_assignment)

	TYPED_TEST (stdlib_bigfield, div_assignment_with_constant)

	TYPED_TEST (stdlib_bigfield, madd)

	TYPED_TEST (stdlib_bigfield, madd_with_constants)

	TYPED_TEST (stdlib_bigfield, sqradd)

	TYPED_TEST (stdlib_bigfield, sqradd_with_constant)

	TYPED_TEST (stdlib_bigfield, mult_madd)

	TYPED_TEST (stdlib_bigfield, mult_madd_with_constants)

	TYPED_TEST (stdlib_bigfield, mult_madd_edge_cases)

	TYPED_TEST (stdlib_bigfield, dual_madd)

	TYPED_TEST (stdlib_bigfield, div_without_denominator_check)

	TYPED_TEST (stdlib_bigfield, div_without_denominator_check_with_constant)

	TYPED_TEST (stdlib_bigfield, add_and_div)

	TYPED_TEST (stdlib_bigfield, add_and_mul)

	TYPED_TEST (stdlib_bigfield, add_and_mul_with_constants)

	TYPED_TEST (stdlib_bigfield, sub_and_mul)

	TYPED_TEST (stdlib_bigfield, sub_and_mul_with_constants)

	TYPED_TEST (stdlib_bigfield, msub_div)

	TYPED_TEST (stdlib_bigfield, msub_div_with_constants)

	TYPED_TEST (stdlib_bigfield, conditional_assign)

	TYPED_TEST (stdlib_bigfield, conditional_assign_with_constants)

	TYPED_TEST (stdlib_bigfield, conditional_select)

	TYPED_TEST (stdlib_bigfield, conditional_select_with_constants)

	TYPED_TEST (stdlib_bigfield, msb_div_ctx_crash_regression)

	TYPED_TEST (stdlib_bigfield, conditional_negate)

	TYPED_TEST (stdlib_bigfield, conditional_negate_with_constants)

	TYPED_TEST (stdlib_bigfield, group_operations)

	TYPED_TEST (stdlib_bigfield, reduce)

	TYPED_TEST (stdlib_bigfield, equality)

	TYPED_TEST (stdlib_bigfield, equality_with_constants)

	TYPED_TEST (stdlib_bigfield, unsafe_assert_less_than)

	TYPED_TEST (stdlib_bigfield, unsafe_assert_less_than_fails)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiply_add)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiply_add_fails)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiple_multiply_add)

	TYPED_TEST (stdlib_bigfield, unsafe_evaluate_multiple_multiply_add_fails)

	TYPED_TEST (stdlib_bigfield, assert_is_in_field_success)

	TYPED_TEST (stdlib_bigfield, assert_is_in_field_fails)

	TYPED_TEST (stdlib_bigfield, assert_less_than_success)

	TYPED_TEST (stdlib_bigfield, assert_less_than_fails)

	TYPED_TEST (stdlib_bigfield, reduce_mod_target_modulus)

	TYPED_TEST (stdlib_bigfield, byte_array_constructors)

	TYPED_TEST (stdlib_bigfield, quotient_completeness_regression)

	TYPED_TEST (stdlib_bigfield, conditional_select_regression)

	TYPED_TEST (stdlib_bigfield, division_context)

	TYPED_TEST (stdlib_bigfield, inverse)

	TYPED_TEST (stdlib_bigfield, assert_equal_not_equal)

	TYPED_TEST (stdlib_bigfield, pow)

	TYPED_TEST (stdlib_bigfield, pow_one)

	TYPED_TEST (stdlib_bigfield, nonnormalized_field_bug_regression)

	TYPED_TEST (stdlib_bigfield, internal_div_bug_regression)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_zero_value)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_nonzero_value_false_predicate)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_nonzero_value_true_predicate_fails)

	TYPED_TEST (stdlib_bigfield, assert_zero_if_computed_zero)

	TYPED_TEST (stdlib_bigfield, less_than_works)

Macro Definition Documentation

◆ ASSIGNMENT_OP_TEST

#define ASSIGNMENT_OP_TEST	(	op_name,
		bench_name,
		op_symbol,
		repetitions,
		reduced_inputs,
		reduction_after
	)

Value:

    static void test_##op_name(InputType a_type, InputType b_type)                                                     \
    {                                                                                                                  \
        test_assign_operator_generic(                                                                                  \
            a_type,                                                                                                    \
            b_type,                                                                                                    \
            [](fq_ct& a, const fq_ct& b) { a op_symbol## = b; },                                                       \
            [](const fq_native& a, const fq_native& b) { return a op_symbol b; },                                      \
            #bench_name,                                                                                               \
            repetitions,                                                                                               \
            reduced_inputs,                                                                                            \
            reduction_after);                                                                                          \
    }

Definition at line 703 of file bigfield.test.cpp.

◆ BINARY_OP_TEST

#define BINARY_OP_TEST	(	op_name,
		bench_name,
		op_symbol,
		repetitions,
		reduced_inputs,
		reduction_after
	)

Value:

    static void test_##op_name(InputType a_type, InputType b_type)                                                     \
    {                                                                                                                  \
        test_binary_operator_generic(                                                                                  \
            a_type,                                                                                                    \
            b_type,                                                                                                    \
            [](const fq_ct& a, const fq_ct& b) { return a op_symbol b; },                                              \
            [](const fq_native& a, const fq_native& b) { return a op_symbol b; },                                      \
            #bench_name,                                                                                               \
            repetitions,                                                                                               \
            reduced_inputs,                                                                                            \
            reduction_after);                                                                                          \
    }

Definition at line 609 of file bigfield.test.cpp.

Typedef Documentation

◆ builder_t

template<typename BigField >

using builder_t = typename extract_builder<BigField>::type

Definition at line 52 of file bigfield.test.cpp.

◆ CircuitTypes

using CircuitTypes = testing::Types<typename bb::stdlib::bn254<UltraCircuitBuilder>::BaseField, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::BaseField, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::ScalarField, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::BaseField, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::ScalarField>

Definition at line 2138 of file bigfield.test.cpp.

◆ params_t

template<typename BigField >

using params_t = typename extract_fq_params<BigField>::type

Definition at line 53 of file bigfield.test.cpp.

Enumeration Type Documentation

◆ InputType

enum struct InputType

strong

Enumerator
WITNESS
CONSTANT
WITNESS
CONSTANT
WITNESS
CONSTANT

Definition at line 28 of file bigfield.test.cpp.

Function Documentation

◆ operator!()

constexpr InputType operator! ( InputType type )

constexpr

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

◆ TYPED_TEST() [1/87]

TYPED_TEST	(	stdlib_bigfield	,
		add
	)

Definition at line 2230 of file bigfield.test.cpp.

◆ TYPED_TEST() [2/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_div
	)

Definition at line 2359 of file bigfield.test.cpp.

◆ TYPED_TEST() [3/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul
	)

Definition at line 2363 of file bigfield.test.cpp.

◆ TYPED_TEST() [4/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul_with_constants
	)

Definition at line 2367 of file bigfield.test.cpp.

◆ TYPED_TEST() [5/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment
	)

Definition at line 2272 of file bigfield.test.cpp.

◆ TYPED_TEST() [6/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment_with_constant
	)

Definition at line 2276 of file bigfield.test.cpp.

◆ TYPED_TEST() [7/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_to_lower_limb_regression
	)

Definition at line 2151 of file bigfield.test.cpp.

◆ TYPED_TEST() [8/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_two
	)

Definition at line 2184 of file bigfield.test.cpp.

◆ TYPED_TEST() [9/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_two_with_constants
	)

Definition at line 2188 of file bigfield.test.cpp.

◆ TYPED_TEST() [10/87]

TYPED_TEST	(	stdlib_bigfield	,
		add_with_constant
	)

Definition at line 2234 of file bigfield.test.cpp.

◆ TYPED_TEST() [11/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_equal_not_equal
	)

Definition at line 2531 of file bigfield.test.cpp.

◆ TYPED_TEST() [12/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_fails
	)

Definition at line 2491 of file bigfield.test.cpp.

◆ TYPED_TEST() [13/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_success
	)

Definition at line 2487 of file bigfield.test.cpp.

◆ TYPED_TEST() [14/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_fails
	)

Definition at line 2499 of file bigfield.test.cpp.

◆ TYPED_TEST() [15/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_success
	)

Definition at line 2495 of file bigfield.test.cpp.

◆ TYPED_TEST() [16/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_not_equal_regression
	)

Definition at line 2146 of file bigfield.test.cpp.

◆ TYPED_TEST() [17/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_computed_zero
	)

Definition at line 2590 of file bigfield.test.cpp.

◆ TYPED_TEST() [18/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_false_predicate
	)

Definition at line 2571 of file bigfield.test.cpp.

◆ TYPED_TEST() [19/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_true_predicate_fails
	)

Definition at line 2580 of file bigfield.test.cpp.

◆ TYPED_TEST() [20/87]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_zero_value
	)

Definition at line 2558 of file bigfield.test.cpp.

◆ TYPED_TEST() [21/87]

TYPED_TEST	(	stdlib_bigfield	,
		badmul
	)

Definition at line 2155 of file bigfield.test.cpp.

◆ TYPED_TEST() [22/87]

TYPED_TEST	(	stdlib_bigfield	,
		basic_tag_logic
	)

Definition at line 2164 of file bigfield.test.cpp.

◆ TYPED_TEST() [23/87]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructors
	)

Definition at line 2507 of file bigfield.test.cpp.

◆ TYPED_TEST() [24/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign
	)

Definition at line 2399 of file bigfield.test.cpp.

◆ TYPED_TEST() [25/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign_with_constants
	)

Definition at line 2403 of file bigfield.test.cpp.

◆ TYPED_TEST() [26/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate
	)

Definition at line 2429 of file bigfield.test.cpp.

◆ TYPED_TEST() [27/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate_with_constants
	)

Definition at line 2433 of file bigfield.test.cpp.

◆ TYPED_TEST() [28/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select
	)

Definition at line 2412 of file bigfield.test.cpp.

◆ TYPED_TEST() [29/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_regression
	)

Definition at line 2516 of file bigfield.test.cpp.

◆ TYPED_TEST() [30/87]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_with_constants
	)

Definition at line 2416 of file bigfield.test.cpp.

◆ TYPED_TEST() [31/87]

TYPED_TEST	(	stdlib_bigfield	,
		div
	)

Definition at line 2240 of file bigfield.test.cpp.

◆ TYPED_TEST() [32/87]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment
	)

Definition at line 2292 of file bigfield.test.cpp.

◆ TYPED_TEST() [33/87]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment_with_constant
	)

Definition at line 2296 of file bigfield.test.cpp.

◆ TYPED_TEST() [34/87]

TYPED_TEST	(	stdlib_bigfield	,
		div_with_constant
	)

Definition at line 2244 of file bigfield.test.cpp.

◆ TYPED_TEST() [35/87]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check
	)

Definition at line 2349 of file bigfield.test.cpp.

◆ TYPED_TEST() [36/87]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check_with_constant
	)

Definition at line 2353 of file bigfield.test.cpp.

◆ TYPED_TEST() [37/87]

TYPED_TEST	(	stdlib_bigfield	,
		division_context
	)

Definition at line 2521 of file bigfield.test.cpp.

◆ TYPED_TEST() [38/87]

TYPED_TEST	(	stdlib_bigfield	,
		division_formula_regression
	)

Definition at line 2160 of file bigfield.test.cpp.

◆ TYPED_TEST() [39/87]

TYPED_TEST	(	stdlib_bigfield	,
		dual_madd
	)

Definition at line 2345 of file bigfield.test.cpp.

◆ TYPED_TEST() [40/87]

TYPED_TEST	(	stdlib_bigfield	,
		equality
	)

Definition at line 2451 of file bigfield.test.cpp.

◆ TYPED_TEST() [41/87]

TYPED_TEST	(	stdlib_bigfield	,
		equality_with_constants
	)

Definition at line 2455 of file bigfield.test.cpp.

◆ TYPED_TEST() [42/87]

TYPED_TEST	(	stdlib_bigfield	,
		group_operations
	)

Definition at line 2439 of file bigfield.test.cpp.

◆ TYPED_TEST() [43/87]

TYPED_TEST	(	stdlib_bigfield	,
		internal_div_bug_regression
	)

Definition at line 2550 of file bigfield.test.cpp.

◆ TYPED_TEST() [44/87]

TYPED_TEST	(	stdlib_bigfield	,
		inverse
	)

Definition at line 2526 of file bigfield.test.cpp.

◆ TYPED_TEST() [45/87]

TYPED_TEST	(	stdlib_bigfield	,
		less_than_works
	)

Definition at line 2595 of file bigfield.test.cpp.

◆ TYPED_TEST() [46/87]

TYPED_TEST	(	stdlib_bigfield	,
		madd
	)

Definition at line 2302 of file bigfield.test.cpp.

◆ TYPED_TEST() [47/87]

TYPED_TEST	(	stdlib_bigfield	,
		madd_with_constants
	)

Definition at line 2306 of file bigfield.test.cpp.

◆ TYPED_TEST() [48/87]

TYPED_TEST	(	stdlib_bigfield	,
		msb_div_ctx_crash_regression
	)

Definition at line 2425 of file bigfield.test.cpp.

◆ TYPED_TEST() [49/87]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div
	)

Definition at line 2379 of file bigfield.test.cpp.

◆ TYPED_TEST() [50/87]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div_with_constants
	)

Definition at line 2384 of file bigfield.test.cpp.

◆ TYPED_TEST() [51/87]

TYPED_TEST	(	stdlib_bigfield	,
		mul
	)

Definition at line 2210 of file bigfield.test.cpp.

◆ TYPED_TEST() [52/87]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment
	)

Definition at line 2262 of file bigfield.test.cpp.

◆ TYPED_TEST() [53/87]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment_with_constant
	)

Definition at line 2266 of file bigfield.test.cpp.

◆ TYPED_TEST() [54/87]

TYPED_TEST	(	stdlib_bigfield	,
		mul_with_constant
	)

Definition at line 2214 of file bigfield.test.cpp.

◆ TYPED_TEST() [55/87]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd
	)

Definition at line 2327 of file bigfield.test.cpp.

◆ TYPED_TEST() [56/87]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_edge_cases
	)

Definition at line 2338 of file bigfield.test.cpp.

◆ TYPED_TEST() [57/87]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_with_constants
	)

Definition at line 2331 of file bigfield.test.cpp.

◆ TYPED_TEST() [58/87]

TYPED_TEST	(	stdlib_bigfield	,
		negate
	)

Definition at line 2258 of file bigfield.test.cpp.

◆ TYPED_TEST() [59/87]

TYPED_TEST	(	stdlib_bigfield	,
		nonnormalized_field_bug_regression
	)

Definition at line 2545 of file bigfield.test.cpp.

◆ TYPED_TEST() [60/87]

TYPED_TEST	(	stdlib_bigfield	,
		pow
	)

Definition at line 2536 of file bigfield.test.cpp.

◆ TYPED_TEST() [61/87]

TYPED_TEST	(	stdlib_bigfield	,
		pow_one
	)

Definition at line 2541 of file bigfield.test.cpp.

◆ TYPED_TEST() [62/87]

TYPED_TEST	(	stdlib_bigfield	,
		quotient_completeness_regression
	)

Definition at line 2511 of file bigfield.test.cpp.

◆ TYPED_TEST() [63/87]

TYPED_TEST	(	stdlib_bigfield	,
		reduce
	)

Definition at line 2447 of file bigfield.test.cpp.

◆ TYPED_TEST() [64/87]

TYPED_TEST	(	stdlib_bigfield	,
		reduce_mod_target_modulus
	)

Definition at line 2503 of file bigfield.test.cpp.

◆ TYPED_TEST() [65/87]

TYPED_TEST	(	stdlib_bigfield	,
		sqr
	)

Definition at line 2250 of file bigfield.test.cpp.

◆ TYPED_TEST() [66/87]

TYPED_TEST	(	stdlib_bigfield	,
		sqr_with_constant
	)

Definition at line 2254 of file bigfield.test.cpp.

◆ TYPED_TEST() [67/87]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd
	)

Definition at line 2317 of file bigfield.test.cpp.

◆ TYPED_TEST() [68/87]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd_with_constant
	)

Definition at line 2321 of file bigfield.test.cpp.

◆ TYPED_TEST() [69/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub
	)

Definition at line 2220 of file bigfield.test.cpp.

◆ TYPED_TEST() [70/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul
	)

Definition at line 2371 of file bigfield.test.cpp.

◆ TYPED_TEST() [71/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul_with_constants
	)

Definition at line 2375 of file bigfield.test.cpp.

◆ TYPED_TEST() [72/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment
	)

Definition at line 2282 of file bigfield.test.cpp.

◆ TYPED_TEST() [73/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment_with_constant
	)

Definition at line 2286 of file bigfield.test.cpp.

◆ TYPED_TEST() [74/87]

TYPED_TEST	(	stdlib_bigfield	,
		sub_with_constant
	)

Definition at line 2224 of file bigfield.test.cpp.

◆ TYPED_TEST() [75/87]

TYPED_TEST	(	stdlib_bigfield	,
		sum
	)

Definition at line 2198 of file bigfield.test.cpp.

◆ TYPED_TEST() [76/87]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_constant
	)

Definition at line 2206 of file bigfield.test.cpp.

◆ TYPED_TEST() [77/87]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_mixed_inputs
	)

Definition at line 2202 of file bigfield.test.cpp.

◆ TYPED_TEST() [78/87]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs
	)

Definition at line 2176 of file bigfield.test.cpp.

◆ TYPED_TEST() [79/87]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs_fails
	)

Definition at line 2180 of file bigfield.test.cpp.

◆ TYPED_TEST() [80/87]

TYPED_TEST	(	stdlib_bigfield	,
		test_constructor
	)

Definition at line 2168 of file bigfield.test.cpp.

◆ TYPED_TEST() [81/87]

TYPED_TEST	(	stdlib_bigfield	,
		test_unsafe_construct_from_limbs
	)

Definition at line 2172 of file bigfield.test.cpp.

◆ TYPED_TEST() [82/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than
	)

Definition at line 2462 of file bigfield.test.cpp.

◆ TYPED_TEST() [83/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than_fails
	)

Definition at line 2466 of file bigfield.test.cpp.

◆ TYPED_TEST() [84/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add
	)

Definition at line 2478 of file bigfield.test.cpp.

◆ TYPED_TEST() [85/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add_fails
	)

Definition at line 2482 of file bigfield.test.cpp.

◆ TYPED_TEST() [86/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add
	)

Definition at line 2470 of file bigfield.test.cpp.

◆ TYPED_TEST() [87/87]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add_fails
	)

Definition at line 2474 of file bigfield.test.cpp.

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_bigfield	,
		CircuitTypes
	)

Classes

Macros

Typedefs

Enumerations

Functions