field.test.cpp File Reference

#include "field.hpp"
#include "../bool/bool.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/streams.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include <gtest/gtest.h>
#include <utility>

Go to the source code of this file.

Classes
class	stdlib_field< Builder >

Typedefs
using	CircuitTypes = testing::Types< bb::UltraCircuitBuilder >

Functions
template<class T >
void	ignore_unused (T &)
	TYPED_TEST_SUITE (stdlib_field, CircuitTypes)
	TYPED_TEST (stdlib_field, test_accumulate)
	TYPED_TEST (stdlib_field, test_add)
	TYPED_TEST (stdlib_field, test_add_mul_with_constants)
	TYPED_TEST (stdlib_field, test_add_two)
	TYPED_TEST (stdlib_field, test_assert_equal)
	TYPED_TEST (stdlib_field, test_assert_equal_gate_count)
	TYPED_TEST (stdlib_field, test_assert_is_in_set)
	TYPED_TEST (stdlib_field, test_assert_is_in_set_fails)
	TYPED_TEST (stdlib_field, test_assert_is_zero)
	TYPED_TEST (stdlib_field, test_assert_is_not_zero)
	TYPED_TEST (stdlib_field, test_bool_conversion)
	TYPED_TEST (stdlib_field, test_bool_conversion_regression)
	TYPED_TEST (stdlib_field, test_conditional_assign)
	TYPED_TEST (stdlib_field, test_conditional_assign_regression)
	TYPED_TEST (stdlib_field, test_conditional_negate)
	TYPED_TEST (stdlib_field, test_constructor_from_witness)
	TYPED_TEST (stdlib_field, test_copy_as_new_witness)
	TYPED_TEST (stdlib_field, test_create_range_constraint)
	TYPED_TEST (stdlib_field, test_div)
	TYPED_TEST (stdlib_field, test_div_edge_cases)
	TYPED_TEST (stdlib_field, test_equality)
	TYPED_TEST (stdlib_field, test_equality_false)
	TYPED_TEST (stdlib_field, test_equality_with_constants)
	TYPED_TEST (stdlib_field, test_field_fibbonaci)
	TYPED_TEST (stdlib_field, test_field_pythagorean)
	TYPED_TEST (stdlib_field, test_fix_witness)
	TYPED_TEST (stdlib_field, test_invert)
	TYPED_TEST (stdlib_field, test_invert_zero)
	TYPED_TEST (stdlib_field, test_is_zero)
	TYPED_TEST (stdlib_field, test_larger_circuit)
	TYPED_TEST (stdlib_field, test_madd)
	TYPED_TEST (stdlib_field, test_madd_add_two_gate_count)
	TYPED_TEST (stdlib_field, test_multiplicative_constant_regression)
	TYPED_TEST (stdlib_field, test_origin_tag_consistency)
	TYPED_TEST (stdlib_field, test_postfix_increment)
	TYPED_TEST (stdlib_field, test_pow)
	TYPED_TEST (stdlib_field, test_pow_exponent_out_of_range)
	TYPED_TEST (stdlib_field, test_prefix_increment)
	TYPED_TEST (stdlib_field, test_ranged_less_than)
	TYPED_TEST (stdlib_field, test_ranged_less_than_max_num_bits)
	TYPED_TEST (stdlib_field, test_split_at)
	TYPED_TEST (stdlib_field, test_three_bit_table)
	TYPED_TEST (stdlib_field, test_two_bit_table)
	TYPED_TEST (stdlib_field, test_validate_context)
	TYPED_TEST (stdlib_field, test_validate_container_context)

Typedef Documentation

CircuitTypes

using CircuitTypes = testing::Types<bb::UltraCircuitBuilder>

Definition at line 1562 of file field.test.cpp.

Function Documentation

ignore_unused()

template<class T >

void ignore_unused

(

T &

)

Definition at line 17 of file field.test.cpp.

TYPED_TEST() [1/45]

TYPED_TEST	(	stdlib_field	,
		test_accumulate
	)

Definition at line 1566 of file field.test.cpp.

TYPED_TEST() [2/45]

TYPED_TEST	(	stdlib_field	,
		test_add
	)

Definition at line 1570 of file field.test.cpp.

TYPED_TEST() [3/45]

TYPED_TEST	(	stdlib_field	,
		test_add_mul_with_constants
	)

Definition at line 1574 of file field.test.cpp.

TYPED_TEST() [4/45]

TYPED_TEST	(	stdlib_field	,
		test_add_two
	)

Definition at line 1578 of file field.test.cpp.

TYPED_TEST() [5/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal
	)

Definition at line 1582 of file field.test.cpp.

TYPED_TEST() [6/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal_gate_count
	)

Definition at line 1586 of file field.test.cpp.

TYPED_TEST() [7/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set
	)

Definition at line 1590 of file field.test.cpp.

TYPED_TEST() [8/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set_fails
	)

Definition at line 1594 of file field.test.cpp.

TYPED_TEST() [9/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_not_zero
	)

Definition at line 1602 of file field.test.cpp.

TYPED_TEST() [10/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_zero
	)

Definition at line 1598 of file field.test.cpp.

TYPED_TEST() [11/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion
	)

Definition at line 1606 of file field.test.cpp.

TYPED_TEST() [12/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion_regression
	)

Definition at line 1610 of file field.test.cpp.

TYPED_TEST() [13/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign
	)

Definition at line 1614 of file field.test.cpp.

TYPED_TEST() [14/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign_regression
	)

Definition at line 1618 of file field.test.cpp.

TYPED_TEST() [15/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_negate
	)

Definition at line 1622 of file field.test.cpp.

TYPED_TEST() [16/45]

TYPED_TEST	(	stdlib_field	,
		test_constructor_from_witness
	)

Definition at line 1626 of file field.test.cpp.

TYPED_TEST() [17/45]

TYPED_TEST	(	stdlib_field	,
		test_copy_as_new_witness
	)

Definition at line 1630 of file field.test.cpp.

TYPED_TEST() [18/45]

TYPED_TEST	(	stdlib_field	,
		test_create_range_constraint
	)

Definition at line 1634 of file field.test.cpp.

TYPED_TEST() [19/45]

TYPED_TEST	(	stdlib_field	,
		test_div
	)

Definition at line 1638 of file field.test.cpp.

TYPED_TEST() [20/45]

TYPED_TEST	(	stdlib_field	,
		test_div_edge_cases
	)

Definition at line 1642 of file field.test.cpp.

TYPED_TEST() [21/45]

TYPED_TEST	(	stdlib_field	,
		test_equality
	)

Definition at line 1646 of file field.test.cpp.

TYPED_TEST() [22/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_false
	)

Definition at line 1650 of file field.test.cpp.

TYPED_TEST() [23/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_with_constants
	)

Definition at line 1654 of file field.test.cpp.

TYPED_TEST() [24/45]

TYPED_TEST	(	stdlib_field	,
		test_field_fibbonaci
	)

Definition at line 1658 of file field.test.cpp.

TYPED_TEST() [25/45]

TYPED_TEST	(	stdlib_field	,
		test_field_pythagorean
	)

Definition at line 1662 of file field.test.cpp.

TYPED_TEST() [26/45]

TYPED_TEST	(	stdlib_field	,
		test_fix_witness
	)

Definition at line 1666 of file field.test.cpp.

TYPED_TEST() [27/45]

TYPED_TEST	(	stdlib_field	,
		test_invert
	)

Definition at line 1670 of file field.test.cpp.

TYPED_TEST() [28/45]

TYPED_TEST	(	stdlib_field	,
		test_invert_zero
	)

Definition at line 1674 of file field.test.cpp.

TYPED_TEST() [29/45]

TYPED_TEST	(	stdlib_field	,
		test_is_zero
	)

Definition at line 1678 of file field.test.cpp.

TYPED_TEST() [30/45]

TYPED_TEST	(	stdlib_field	,
		test_larger_circuit
	)

Definition at line 1682 of file field.test.cpp.

TYPED_TEST() [31/45]

TYPED_TEST	(	stdlib_field	,
		test_madd
	)

Definition at line 1686 of file field.test.cpp.

TYPED_TEST() [32/45]

TYPED_TEST	(	stdlib_field	,
		test_madd_add_two_gate_count
	)

Definition at line 1690 of file field.test.cpp.

TYPED_TEST() [33/45]

TYPED_TEST	(	stdlib_field	,
		test_multiplicative_constant_regression
	)

Definition at line 1694 of file field.test.cpp.

TYPED_TEST() [34/45]

TYPED_TEST	(	stdlib_field	,
		test_origin_tag_consistency
	)

Definition at line 1698 of file field.test.cpp.

TYPED_TEST() [35/45]

TYPED_TEST	(	stdlib_field	,
		test_postfix_increment
	)

Definition at line 1702 of file field.test.cpp.

TYPED_TEST() [36/45]

TYPED_TEST	(	stdlib_field	,
		test_pow
	)

Definition at line 1706 of file field.test.cpp.

TYPED_TEST() [37/45]

TYPED_TEST	(	stdlib_field	,
		test_pow_exponent_out_of_range
	)

Definition at line 1710 of file field.test.cpp.

TYPED_TEST() [38/45]

TYPED_TEST	(	stdlib_field	,
		test_prefix_increment
	)

Definition at line 1714 of file field.test.cpp.

TYPED_TEST() [39/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than
	)

Definition at line 1718 of file field.test.cpp.

TYPED_TEST() [40/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than_max_num_bits
	)

Definition at line 1722 of file field.test.cpp.

TYPED_TEST() [41/45]

TYPED_TEST	(	stdlib_field	,
		test_split_at
	)

Definition at line 1726 of file field.test.cpp.

TYPED_TEST() [42/45]

TYPED_TEST	(	stdlib_field	,
		test_three_bit_table
	)

Definition at line 1730 of file field.test.cpp.

TYPED_TEST() [43/45]

TYPED_TEST	(	stdlib_field	,
		test_two_bit_table
	)

Definition at line 1734 of file field.test.cpp.

TYPED_TEST() [44/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_container_context
	)

Definition at line 1742 of file field.test.cpp.

TYPED_TEST() [45/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_context
	)

Definition at line 1738 of file field.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_field	,
		CircuitTypes
	)