bigfield.test.cpp File Reference

#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>

Go to the source code of this file.

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, byte_array_constructor_boundary_values)
	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 2189 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/88]

TYPED_TEST	(	stdlib_bigfield	,
		add
	)

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

TYPED_TEST() [2/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_div
	)

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

TYPED_TEST() [3/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul
	)

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

TYPED_TEST() [4/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul_with_constants
	)

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

TYPED_TEST() [5/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment
	)

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

TYPED_TEST() [6/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment_with_constant
	)

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

TYPED_TEST() [7/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_to_lower_limb_regression
	)

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

TYPED_TEST() [8/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_two
	)

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

TYPED_TEST() [9/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_two_with_constants
	)

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

TYPED_TEST() [10/88]

TYPED_TEST	(	stdlib_bigfield	,
		add_with_constant
	)

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

TYPED_TEST() [11/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_equal_not_equal
	)

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

TYPED_TEST() [12/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_fails
	)

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

TYPED_TEST() [13/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_success
	)

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

TYPED_TEST() [14/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_fails
	)

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

TYPED_TEST() [15/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_success
	)

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

TYPED_TEST() [16/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_not_equal_regression
	)

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

TYPED_TEST() [17/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_computed_zero
	)

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

TYPED_TEST() [18/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_false_predicate
	)

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

TYPED_TEST() [19/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_nonzero_value_true_predicate_fails
	)

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

TYPED_TEST() [20/88]

TYPED_TEST	(	stdlib_bigfield	,
		assert_zero_if_zero_value
	)

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

TYPED_TEST() [21/88]

TYPED_TEST	(	stdlib_bigfield	,
		badmul
	)

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

TYPED_TEST() [22/88]

TYPED_TEST	(	stdlib_bigfield	,
		basic_tag_logic
	)

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

TYPED_TEST() [23/88]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructor_boundary_values
	)

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

TYPED_TEST() [24/88]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructors
	)

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

TYPED_TEST() [25/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign
	)

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

TYPED_TEST() [26/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign_with_constants
	)

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

TYPED_TEST() [27/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate
	)

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

TYPED_TEST() [28/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [29/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select
	)

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

TYPED_TEST() [30/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_regression
	)

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

TYPED_TEST() [31/88]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [32/88]

TYPED_TEST	(	stdlib_bigfield	,
		div
	)

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

TYPED_TEST() [33/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment
	)

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

TYPED_TEST() [34/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment_with_constant
	)

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

TYPED_TEST() [35/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_with_constant
	)

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

TYPED_TEST() [36/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check
	)

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

TYPED_TEST() [37/88]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check_with_constant
	)

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

TYPED_TEST() [38/88]

TYPED_TEST	(	stdlib_bigfield	,
		division_context
	)

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

TYPED_TEST() [39/88]

TYPED_TEST	(	stdlib_bigfield	,
		division_formula_regression
	)

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

TYPED_TEST() [40/88]

TYPED_TEST	(	stdlib_bigfield	,
		dual_madd
	)

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

TYPED_TEST() [41/88]

TYPED_TEST	(	stdlib_bigfield	,
		equality
	)

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

TYPED_TEST() [42/88]

TYPED_TEST	(	stdlib_bigfield	,
		equality_with_constants
	)

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

TYPED_TEST() [43/88]

TYPED_TEST	(	stdlib_bigfield	,
		group_operations
	)

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

TYPED_TEST() [44/88]

TYPED_TEST	(	stdlib_bigfield	,
		internal_div_bug_regression
	)

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

TYPED_TEST() [45/88]

TYPED_TEST	(	stdlib_bigfield	,
		inverse
	)

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

TYPED_TEST() [46/88]

TYPED_TEST	(	stdlib_bigfield	,
		less_than_works
	)

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

TYPED_TEST() [47/88]

TYPED_TEST	(	stdlib_bigfield	,
		madd
	)

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

TYPED_TEST() [48/88]

TYPED_TEST	(	stdlib_bigfield	,
		madd_with_constants
	)

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

TYPED_TEST() [49/88]

TYPED_TEST	(	stdlib_bigfield	,
		msb_div_ctx_crash_regression
	)

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

TYPED_TEST() [50/88]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div
	)

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

TYPED_TEST() [51/88]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div_with_constants
	)

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

TYPED_TEST() [52/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul
	)

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

TYPED_TEST() [53/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment
	)

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

TYPED_TEST() [54/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment_with_constant
	)

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

TYPED_TEST() [55/88]

TYPED_TEST	(	stdlib_bigfield	,
		mul_with_constant
	)

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

TYPED_TEST() [56/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd
	)

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

TYPED_TEST() [57/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_edge_cases
	)

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

TYPED_TEST() [58/88]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_with_constants
	)

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

TYPED_TEST() [59/88]

TYPED_TEST	(	stdlib_bigfield	,
		negate
	)

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

TYPED_TEST() [60/88]

TYPED_TEST	(	stdlib_bigfield	,
		nonnormalized_field_bug_regression
	)

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

TYPED_TEST() [61/88]

TYPED_TEST	(	stdlib_bigfield	,
		pow
	)

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

TYPED_TEST() [62/88]

TYPED_TEST	(	stdlib_bigfield	,
		pow_one
	)

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

TYPED_TEST() [63/88]

TYPED_TEST	(	stdlib_bigfield	,
		quotient_completeness_regression
	)

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

TYPED_TEST() [64/88]

TYPED_TEST	(	stdlib_bigfield	,
		reduce
	)

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

TYPED_TEST() [65/88]

TYPED_TEST	(	stdlib_bigfield	,
		reduce_mod_target_modulus
	)

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

TYPED_TEST() [66/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqr
	)

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

TYPED_TEST() [67/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqr_with_constant
	)

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

TYPED_TEST() [68/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd
	)

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

TYPED_TEST() [69/88]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd_with_constant
	)

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

TYPED_TEST() [70/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub
	)

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

TYPED_TEST() [71/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul
	)

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

TYPED_TEST() [72/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul_with_constants
	)

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

TYPED_TEST() [73/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment
	)

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

TYPED_TEST() [74/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment_with_constant
	)

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

TYPED_TEST() [75/88]

TYPED_TEST	(	stdlib_bigfield	,
		sub_with_constant
	)

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

TYPED_TEST() [76/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum
	)

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

TYPED_TEST() [77/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_constant
	)

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

TYPED_TEST() [78/88]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_mixed_inputs
	)

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

TYPED_TEST() [79/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs
	)

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

TYPED_TEST() [80/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs_fails
	)

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

TYPED_TEST() [81/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_constructor
	)

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

TYPED_TEST() [82/88]

TYPED_TEST	(	stdlib_bigfield	,
		test_unsafe_construct_from_limbs
	)

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

TYPED_TEST() [83/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than
	)

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

TYPED_TEST() [84/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than_fails
	)

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

TYPED_TEST() [85/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add
	)

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

TYPED_TEST() [86/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add_fails
	)

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

TYPED_TEST() [87/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add
	)

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

TYPED_TEST() [88/88]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add_fails
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_bigfield	,
		CircuitTypes
	)