field.test.cpp File Reference

#include "field.hpp"
#include "../bool/bool.hpp"
#include "array.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 1563 of file field.test.cpp.

Function Documentation

ignore_unused()

template<class T >

void ignore_unused

(

T &

)

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

TYPED_TEST() [1/45]

TYPED_TEST	(	stdlib_field	,
		test_accumulate
	)

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

TYPED_TEST() [2/45]

TYPED_TEST	(	stdlib_field	,
		test_add
	)

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

TYPED_TEST() [3/45]

TYPED_TEST	(	stdlib_field	,
		test_add_mul_with_constants
	)

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

TYPED_TEST() [4/45]

TYPED_TEST	(	stdlib_field	,
		test_add_two
	)

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

TYPED_TEST() [5/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal
	)

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

TYPED_TEST() [6/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal_gate_count
	)

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

TYPED_TEST() [7/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set
	)

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

TYPED_TEST() [8/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set_fails
	)

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

TYPED_TEST() [9/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_not_zero
	)

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

TYPED_TEST() [10/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_zero
	)

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

TYPED_TEST() [11/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion
	)

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

TYPED_TEST() [12/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion_regression
	)

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

TYPED_TEST() [13/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign
	)

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

TYPED_TEST() [14/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign_regression
	)

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

TYPED_TEST() [15/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_negate
	)

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

TYPED_TEST() [16/45]

TYPED_TEST	(	stdlib_field	,
		test_constructor_from_witness
	)

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

TYPED_TEST() [17/45]

TYPED_TEST	(	stdlib_field	,
		test_copy_as_new_witness
	)

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

TYPED_TEST() [18/45]

TYPED_TEST	(	stdlib_field	,
		test_create_range_constraint
	)

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

TYPED_TEST() [19/45]

TYPED_TEST	(	stdlib_field	,
		test_div
	)

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

TYPED_TEST() [20/45]

TYPED_TEST	(	stdlib_field	,
		test_div_edge_cases
	)

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

TYPED_TEST() [21/45]

TYPED_TEST	(	stdlib_field	,
		test_equality
	)

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

TYPED_TEST() [22/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_false
	)

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

TYPED_TEST() [23/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_with_constants
	)

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

TYPED_TEST() [24/45]

TYPED_TEST	(	stdlib_field	,
		test_field_fibbonaci
	)

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

TYPED_TEST() [25/45]

TYPED_TEST	(	stdlib_field	,
		test_field_pythagorean
	)

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

TYPED_TEST() [26/45]

TYPED_TEST	(	stdlib_field	,
		test_fix_witness
	)

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

TYPED_TEST() [27/45]

TYPED_TEST	(	stdlib_field	,
		test_invert
	)

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

TYPED_TEST() [28/45]

TYPED_TEST	(	stdlib_field	,
		test_invert_zero
	)

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

TYPED_TEST() [29/45]

TYPED_TEST	(	stdlib_field	,
		test_is_zero
	)

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

TYPED_TEST() [30/45]

TYPED_TEST	(	stdlib_field	,
		test_larger_circuit
	)

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

TYPED_TEST() [31/45]

TYPED_TEST	(	stdlib_field	,
		test_madd
	)

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

TYPED_TEST() [32/45]

TYPED_TEST	(	stdlib_field	,
		test_madd_add_two_gate_count
	)

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

TYPED_TEST() [33/45]

TYPED_TEST	(	stdlib_field	,
		test_multiplicative_constant_regression
	)

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

TYPED_TEST() [34/45]

TYPED_TEST	(	stdlib_field	,
		test_origin_tag_consistency
	)

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

TYPED_TEST() [35/45]

TYPED_TEST	(	stdlib_field	,
		test_postfix_increment
	)

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

TYPED_TEST() [36/45]

TYPED_TEST	(	stdlib_field	,
		test_pow
	)

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

TYPED_TEST() [37/45]

TYPED_TEST	(	stdlib_field	,
		test_pow_exponent_out_of_range
	)

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

TYPED_TEST() [38/45]

TYPED_TEST	(	stdlib_field	,
		test_prefix_increment
	)

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

TYPED_TEST() [39/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than
	)

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

TYPED_TEST() [40/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than_max_num_bits
	)

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

TYPED_TEST() [41/45]

TYPED_TEST	(	stdlib_field	,
		test_split_at
	)

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

TYPED_TEST() [42/45]

TYPED_TEST	(	stdlib_field	,
		test_three_bit_table
	)

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

TYPED_TEST() [43/45]

TYPED_TEST	(	stdlib_field	,
		test_two_bit_table
	)

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

TYPED_TEST() [44/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_container_context
	)

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

TYPED_TEST() [45/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_context
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_field	,
		CircuitTypes
	)