Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "array.hpp"
#include "../bool/bool.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "field.hpp"
#include <gtest/gtest.h>
#include <utility>
Go to the source code of this file.
Classes | |
class | stdlib_array< Builder > |
class | stdlib_array< Builder >::MockClass |
Typedefs | |
typedef testing::Types< bb::UltraCircuitBuilder > | CircuitTypes |
Functions | |
template<class T > | |
void | ignore_unused (T &) |
TYPED_TEST_SUITE (stdlib_array, CircuitTypes) | |
TYPED_TEST (stdlib_array, test_array_length) | |
TYPED_TEST (stdlib_array, test_array_length_null) | |
TYPED_TEST (stdlib_array, test_array_length_fails) | |
TYPED_TEST (stdlib_array, test_array_pop) | |
TYPED_TEST (stdlib_array, test_array_pop_from_empty) | |
TYPED_TEST (stdlib_array, test_array_push) | |
TYPED_TEST (stdlib_array, test_array_push_optional) | |
TYPED_TEST (stdlib_array, test_array_push_generic) | |
TYPED_TEST (stdlib_array, test_array_push_generic_full) | |
TYPED_TEST (stdlib_array, test_pata_large_bench) | |
TYPED_TEST (stdlib_array, test_pata_same_size_not_full_to_not_full) | |
TYPED_TEST (stdlib_array, test_pata_same_size_not_full_to_not_full_2) | |
TYPED_TEST (stdlib_array, test_pata_same_size_not_full_to_empty) | |
TYPED_TEST (stdlib_array, test_pata_smaller_source_full_to_not_full) | |
TYPED_TEST (stdlib_array, test_pata_null_source) | |
TYPED_TEST (stdlib_array, test_pata_null_target_fails) | |
TYPED_TEST (stdlib_array, test_pata_singletons_full_to_not_full) | |
TYPED_TEST (stdlib_array, test_pata_singletons_not_full_to_full) | |
TYPED_TEST (stdlib_array, test_pata_singletons_full_to_full) | |
TYPED_TEST (stdlib_array, test_pata_same_size_full_to_full_fails) | |
TYPED_TEST (stdlib_array, test_pata_nonzero_after_zero_source_fails) | |
TYPED_TEST (stdlib_array, test_pata_nonzero_after_zero_source_fails_2) | |
TYPED_TEST (stdlib_array, test_pata_nonzero_after_zero_target_fails) | |
TYPED_TEST (stdlib_array, test_pata_nonzero_after_zero_target_fails_2) | |
typedef testing::Types<bb::UltraCircuitBuilder> CircuitTypes |
Definition at line 597 of file array.test.cpp.
void ignore_unused | ( | T & | ) |
Definition at line 16 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_length | |||
) |
Definition at line 601 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_length_fails | |||
) |
Definition at line 609 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_length_null | |||
) |
Definition at line 605 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_pop | |||
) |
Definition at line 613 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_pop_from_empty | |||
) |
Definition at line 617 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_push | |||
) |
Definition at line 621 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_push_generic | |||
) |
Definition at line 629 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_push_generic_full | |||
) |
Definition at line 633 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_array_push_optional | |||
) |
Definition at line 625 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_large_bench | |||
) |
Definition at line 638 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_nonzero_after_zero_source_fails | |||
) |
Definition at line 682 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_nonzero_after_zero_source_fails_2 | |||
) |
Definition at line 686 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_nonzero_after_zero_target_fails | |||
) |
Definition at line 690 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_nonzero_after_zero_target_fails_2 | |||
) |
Definition at line 694 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_null_source | |||
) |
Definition at line 658 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_null_target_fails | |||
) |
Definition at line 662 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_same_size_full_to_full_fails | |||
) |
Definition at line 678 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_same_size_not_full_to_empty | |||
) |
Definition at line 650 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_same_size_not_full_to_not_full | |||
) |
Definition at line 642 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_same_size_not_full_to_not_full_2 | |||
) |
Definition at line 646 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_singletons_full_to_full | |||
) |
Definition at line 674 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_singletons_full_to_not_full | |||
) |
Definition at line 666 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_singletons_not_full_to_full | |||
) |
Definition at line 670 of file array.test.cpp.
TYPED_TEST | ( | stdlib_array | , |
test_pata_smaller_source_full_to_not_full | |||
) |
Definition at line 654 of file array.test.cpp.
TYPED_TEST_SUITE | ( | stdlib_array | , |
CircuitTypes | |||
) |