test_class_predicate.hpp File Reference

#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/test_class.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "gtest/gtest.h"
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::Predicate< InvalidWitnessTarget >
class	acir_format::TestClassWithPredicate< Base >
	Test class for ACIR constraints that contain a predicate. More...

Namespaces
namespace	acir_format

Concepts
concept	acir_format::TestBaseWithPredicate
	Concept defining the requirements for the Base template parameter of TestClassWithPredicate.

Enumerations
enum class	acir_format::PredicateTestCase : uint8_t { acir_format::ConstantTrue , acir_format::WitnessTrue , acir_format::WitnessFalse }