acir_format.test.cpp File Reference

#include <gtest/gtest.h>
#include <memory>
#include <vector>
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/common/streams.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

Functions
	TEST_F (AcirFormatTests, TestASingleConstraintNoPubInputs)
	TEST_F (AcirFormatTests, MsgpackLogicConstraint)
	TEST_F (AcirFormatTests, TestLogicGateFromNoirCircuit)
	TEST_F (AcirFormatTests, TestKeccakPermutation)
	TEST_F (AcirFormatTests, TestCollectsGateCounts)
	TEST_F (AcirFormatTests, TestBigAdd)

Function Documentation

TEST_F() [1/6]

TEST_F	(	AcirFormatTests	,
		MsgpackLogicConstraint
	)

Definition at line 49 of file acir_format.test.cpp.

TEST_F() [2/6]

TEST_F	(	AcirFormatTests	,
		TestASingleConstraintNoPubInputs
	)

Definition at line 20 of file acir_format.test.cpp.

TEST_F() [3/6]

TEST_F	(	AcirFormatTests	,
		TestBigAdd
	)

Definition at line 243 of file acir_format.test.cpp.

TEST_F() [4/6]

TEST_F	(	AcirFormatTests	,
		TestCollectsGateCounts
	)

Definition at line 200 of file acir_format.test.cpp.

TEST_F() [5/6]

TEST_F	(	AcirFormatTests	,
		TestKeccakPermutation
	)

Definition at line 146 of file acir_format.test.cpp.

TEST_F() [6/6]

TEST_F	(	AcirFormatTests	,
		TestLogicGateFromNoirCircuit
	)

constraints produced by Noir program: fn main(x : u32, y : pub u32) { let z = x ^ y;

constrain z != 10; }

Definition at line 54 of file acir_format.test.cpp.