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 >::fq_ct, typename bb::stdlib::secp256k1< UltraCircuitBuilder >::bigfr_ct, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::fq_ct, typename bb::stdlib::secp256r1< UltraCircuitBuilder >::bigfr_ct >

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)

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 612 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 511 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>::fq_ct, typename bb::stdlib::secp256k1<UltraCircuitBuilder>::bigfr_ct, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::fq_ct, typename bb::stdlib::secp256r1<UltraCircuitBuilder>::bigfr_ct>

Definition at line 2057 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/82]

TYPED_TEST	(	stdlib_bigfield	,
		add
	)

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

TYPED_TEST() [2/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_div
	)

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

TYPED_TEST() [3/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul
	)

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

TYPED_TEST() [4/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_and_mul_with_constants
	)

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

TYPED_TEST() [5/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment
	)

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

TYPED_TEST() [6/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_assignment_with_constant
	)

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

TYPED_TEST() [7/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_to_lower_limb_regression
	)

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

TYPED_TEST() [8/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_two
	)

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

TYPED_TEST() [9/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_two_with_constants
	)

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

TYPED_TEST() [10/82]

TYPED_TEST	(	stdlib_bigfield	,
		add_with_constant
	)

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

TYPED_TEST() [11/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_equal_not_equal
	)

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

TYPED_TEST() [12/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_fails
	)

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

TYPED_TEST() [13/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_is_in_field_success
	)

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

TYPED_TEST() [14/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_fails
	)

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

TYPED_TEST() [15/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_less_than_success
	)

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

TYPED_TEST() [16/82]

TYPED_TEST	(	stdlib_bigfield	,
		assert_not_equal_regression
	)

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

TYPED_TEST() [17/82]

TYPED_TEST	(	stdlib_bigfield	,
		badmul
	)

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

TYPED_TEST() [18/82]

TYPED_TEST	(	stdlib_bigfield	,
		basic_tag_logic
	)

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

TYPED_TEST() [19/82]

TYPED_TEST	(	stdlib_bigfield	,
		byte_array_constructors
	)

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

TYPED_TEST() [20/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign
	)

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

TYPED_TEST() [21/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_assign_with_constants
	)

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

TYPED_TEST() [22/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate
	)

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

TYPED_TEST() [23/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_negate_with_constants
	)

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

TYPED_TEST() [24/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select
	)

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

TYPED_TEST() [25/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_regression
	)

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

TYPED_TEST() [26/82]

TYPED_TEST	(	stdlib_bigfield	,
		conditional_select_with_constants
	)

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

TYPED_TEST() [27/82]

TYPED_TEST	(	stdlib_bigfield	,
		div
	)

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

TYPED_TEST() [28/82]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment
	)

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

TYPED_TEST() [29/82]

TYPED_TEST	(	stdlib_bigfield	,
		div_assignment_with_constant
	)

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

TYPED_TEST() [30/82]

TYPED_TEST	(	stdlib_bigfield	,
		div_with_constant
	)

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

TYPED_TEST() [31/82]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check
	)

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

TYPED_TEST() [32/82]

TYPED_TEST	(	stdlib_bigfield	,
		div_without_denominator_check_with_constant
	)

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

TYPED_TEST() [33/82]

TYPED_TEST	(	stdlib_bigfield	,
		division_context
	)

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

TYPED_TEST() [34/82]

TYPED_TEST	(	stdlib_bigfield	,
		division_formula_regression
	)

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

TYPED_TEST() [35/82]

TYPED_TEST	(	stdlib_bigfield	,
		dual_madd
	)

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

TYPED_TEST() [36/82]

TYPED_TEST	(	stdlib_bigfield	,
		equality
	)

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

TYPED_TEST() [37/82]

TYPED_TEST	(	stdlib_bigfield	,
		equality_with_constants
	)

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

TYPED_TEST() [38/82]

TYPED_TEST	(	stdlib_bigfield	,
		group_operations
	)

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

TYPED_TEST() [39/82]

TYPED_TEST	(	stdlib_bigfield	,
		internal_div_bug_regression
	)

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

TYPED_TEST() [40/82]

TYPED_TEST	(	stdlib_bigfield	,
		inverse
	)

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

TYPED_TEST() [41/82]

TYPED_TEST	(	stdlib_bigfield	,
		madd
	)

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

TYPED_TEST() [42/82]

TYPED_TEST	(	stdlib_bigfield	,
		madd_with_constants
	)

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

TYPED_TEST() [43/82]

TYPED_TEST	(	stdlib_bigfield	,
		msb_div_ctx_crash_regression
	)

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

TYPED_TEST() [44/82]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div
	)

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

TYPED_TEST() [45/82]

TYPED_TEST	(	stdlib_bigfield	,
		msub_div_with_constants
	)

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

TYPED_TEST() [46/82]

TYPED_TEST	(	stdlib_bigfield	,
		mul
	)

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

TYPED_TEST() [47/82]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment
	)

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

TYPED_TEST() [48/82]

TYPED_TEST	(	stdlib_bigfield	,
		mul_assignment_with_constant
	)

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

TYPED_TEST() [49/82]

TYPED_TEST	(	stdlib_bigfield	,
		mul_with_constant
	)

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

TYPED_TEST() [50/82]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd
	)

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

TYPED_TEST() [51/82]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_edge_cases
	)

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

TYPED_TEST() [52/82]

TYPED_TEST	(	stdlib_bigfield	,
		mult_madd_with_constants
	)

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

TYPED_TEST() [53/82]

TYPED_TEST	(	stdlib_bigfield	,
		negate
	)

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

TYPED_TEST() [54/82]

TYPED_TEST	(	stdlib_bigfield	,
		nonnormalized_field_bug_regression
	)

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

TYPED_TEST() [55/82]

TYPED_TEST	(	stdlib_bigfield	,
		pow
	)

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

TYPED_TEST() [56/82]

TYPED_TEST	(	stdlib_bigfield	,
		pow_one
	)

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

TYPED_TEST() [57/82]

TYPED_TEST	(	stdlib_bigfield	,
		quotient_completeness_regression
	)

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

TYPED_TEST() [58/82]

TYPED_TEST	(	stdlib_bigfield	,
		reduce
	)

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

TYPED_TEST() [59/82]

TYPED_TEST	(	stdlib_bigfield	,
		reduce_mod_target_modulus
	)

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

TYPED_TEST() [60/82]

TYPED_TEST	(	stdlib_bigfield	,
		sqr
	)

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

TYPED_TEST() [61/82]

TYPED_TEST	(	stdlib_bigfield	,
		sqr_with_constant
	)

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

TYPED_TEST() [62/82]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd
	)

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

TYPED_TEST() [63/82]

TYPED_TEST	(	stdlib_bigfield	,
		sqradd_with_constant
	)

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

TYPED_TEST() [64/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub
	)

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

TYPED_TEST() [65/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul
	)

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

TYPED_TEST() [66/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub_and_mul_with_constants
	)

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

TYPED_TEST() [67/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment
	)

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

TYPED_TEST() [68/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub_assignment_with_constant
	)

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

TYPED_TEST() [69/82]

TYPED_TEST	(	stdlib_bigfield	,
		sub_with_constant
	)

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

TYPED_TEST() [70/82]

TYPED_TEST	(	stdlib_bigfield	,
		sum
	)

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

TYPED_TEST() [71/82]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_constant
	)

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

TYPED_TEST() [72/82]

TYPED_TEST	(	stdlib_bigfield	,
		sum_with_mixed_inputs
	)

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

TYPED_TEST() [73/82]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs
	)

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

TYPED_TEST() [74/82]

TYPED_TEST	(	stdlib_bigfield	,
		test_construct_from_limbs_fails
	)

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

TYPED_TEST() [75/82]

TYPED_TEST	(	stdlib_bigfield	,
		test_constructor
	)

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

TYPED_TEST() [76/82]

TYPED_TEST	(	stdlib_bigfield	,
		test_unsafe_construct_from_limbs
	)

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

TYPED_TEST() [77/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than
	)

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

TYPED_TEST() [78/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_assert_less_than_fails
	)

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

TYPED_TEST() [79/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add
	)

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

TYPED_TEST() [80/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiple_multiply_add_fails
	)

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

TYPED_TEST() [81/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add
	)

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

TYPED_TEST() [82/82]

TYPED_TEST	(	stdlib_bigfield	,
		unsafe_evaluate_multiply_add_fails
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_bigfield	,
		CircuitTypes
	)