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 1552 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 1556 of file field.test.cpp.

TYPED_TEST() [2/45]

TYPED_TEST	(	stdlib_field	,
		test_add
	)

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

TYPED_TEST() [3/45]

TYPED_TEST	(	stdlib_field	,
		test_add_mul_with_constants
	)

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

TYPED_TEST() [4/45]

TYPED_TEST	(	stdlib_field	,
		test_add_two
	)

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

TYPED_TEST() [5/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal
	)

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

TYPED_TEST() [6/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_equal_gate_count
	)

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

TYPED_TEST() [7/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set
	)

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

TYPED_TEST() [8/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_in_set_fails
	)

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

TYPED_TEST() [9/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_not_zero
	)

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

TYPED_TEST() [10/45]

TYPED_TEST	(	stdlib_field	,
		test_assert_is_zero
	)

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

TYPED_TEST() [11/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion
	)

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

TYPED_TEST() [12/45]

TYPED_TEST	(	stdlib_field	,
		test_bool_conversion_regression
	)

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

TYPED_TEST() [13/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign
	)

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

TYPED_TEST() [14/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_assign_regression
	)

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

TYPED_TEST() [15/45]

TYPED_TEST	(	stdlib_field	,
		test_conditional_negate
	)

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

TYPED_TEST() [16/45]

TYPED_TEST	(	stdlib_field	,
		test_constructor_from_witness
	)

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

TYPED_TEST() [17/45]

TYPED_TEST	(	stdlib_field	,
		test_copy_as_new_witness
	)

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

TYPED_TEST() [18/45]

TYPED_TEST	(	stdlib_field	,
		test_create_range_constraint
	)

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

TYPED_TEST() [19/45]

TYPED_TEST	(	stdlib_field	,
		test_div
	)

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

TYPED_TEST() [20/45]

TYPED_TEST	(	stdlib_field	,
		test_div_edge_cases
	)

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

TYPED_TEST() [21/45]

TYPED_TEST	(	stdlib_field	,
		test_equality
	)

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

TYPED_TEST() [22/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_false
	)

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

TYPED_TEST() [23/45]

TYPED_TEST	(	stdlib_field	,
		test_equality_with_constants
	)

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

TYPED_TEST() [24/45]

TYPED_TEST	(	stdlib_field	,
		test_field_fibbonaci
	)

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

TYPED_TEST() [25/45]

TYPED_TEST	(	stdlib_field	,
		test_field_pythagorean
	)

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

TYPED_TEST() [26/45]

TYPED_TEST	(	stdlib_field	,
		test_fix_witness
	)

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

TYPED_TEST() [27/45]

TYPED_TEST	(	stdlib_field	,
		test_invert
	)

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

TYPED_TEST() [28/45]

TYPED_TEST	(	stdlib_field	,
		test_invert_zero
	)

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

TYPED_TEST() [29/45]

TYPED_TEST	(	stdlib_field	,
		test_is_zero
	)

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

TYPED_TEST() [30/45]

TYPED_TEST	(	stdlib_field	,
		test_larger_circuit
	)

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

TYPED_TEST() [31/45]

TYPED_TEST	(	stdlib_field	,
		test_madd
	)

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

TYPED_TEST() [32/45]

TYPED_TEST	(	stdlib_field	,
		test_madd_add_two_gate_count
	)

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

TYPED_TEST() [33/45]

TYPED_TEST	(	stdlib_field	,
		test_multiplicative_constant_regression
	)

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

TYPED_TEST() [34/45]

TYPED_TEST	(	stdlib_field	,
		test_origin_tag_consistency
	)

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

TYPED_TEST() [35/45]

TYPED_TEST	(	stdlib_field	,
		test_postfix_increment
	)

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

TYPED_TEST() [36/45]

TYPED_TEST	(	stdlib_field	,
		test_pow
	)

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

TYPED_TEST() [37/45]

TYPED_TEST	(	stdlib_field	,
		test_pow_exponent_out_of_range
	)

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

TYPED_TEST() [38/45]

TYPED_TEST	(	stdlib_field	,
		test_prefix_increment
	)

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

TYPED_TEST() [39/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than
	)

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

TYPED_TEST() [40/45]

TYPED_TEST	(	stdlib_field	,
		test_ranged_less_than_max_num_bits
	)

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

TYPED_TEST() [41/45]

TYPED_TEST	(	stdlib_field	,
		test_split_at
	)

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

TYPED_TEST() [42/45]

TYPED_TEST	(	stdlib_field	,
		test_three_bit_table
	)

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

TYPED_TEST() [43/45]

TYPED_TEST	(	stdlib_field	,
		test_two_bit_table
	)

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

TYPED_TEST() [44/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_container_context
	)

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

TYPED_TEST() [45/45]

TYPED_TEST	(	stdlib_field	,
		test_validate_context
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	stdlib_field	,
		CircuitTypes
	)