|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <gtest/gtest.h>#include <memory>#include <vector>#include "acir_format.hpp"#include "acir_to_constraint_buf.hpp"#include "barretenberg/common/streams.hpp"#include "barretenberg/dsl/acir_format/gate_count_constants.hpp"#include "barretenberg/op_queue/ecc_op_queue.hpp"#include "barretenberg/serialize/test_helper.hpp"Go to the source code of this file.
Classes | |
| class | AcirFormatTests< Builder > |
Typedefs | |
| using | BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder > |
Functions | |
| TYPED_TEST_SUITE (AcirFormatTests, BuilderTypes) | |
| TYPED_TEST (AcirFormatTests, ExpressionWithOnlyConstantTermFails) | |
| TYPED_TEST (AcirFormatTests, ExpressionWithCancellingCoefficientsFails) | |
| TYPED_TEST (AcirFormatTests, PublicInputs) | |
| using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder> |
Definition at line 22 of file acir_format.test.cpp.
| TYPED_TEST | ( | AcirFormatTests | , |
| ExpressionWithCancellingCoefficientsFails | |||
| ) |
Definition at line 44 of file acir_format.test.cpp.
| TYPED_TEST | ( | AcirFormatTests | , |
| ExpressionWithOnlyConstantTermFails | |||
| ) |
Definition at line 25 of file acir_format.test.cpp.
| TYPED_TEST | ( | AcirFormatTests | , |
| PublicInputs | |||
| ) |
Definition at line 62 of file acir_format.test.cpp.
| TYPED_TEST_SUITE | ( | AcirFormatTests | , |
| BuilderTypes | |||
| ) |