Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
acir_format::Predicate< InvalidWitnessTarget > Struct Template Reference

#include <test_class_predicate.hpp>

Static Public Member Functions

static std::vector< PredicateTestCaseget_all ()
 
static std::vector< std::string > get_labels ()
 

Public Attributes

PredicateTestCase test_case
 
InvalidWitnessTarget invalid_witness
 

Detailed Description

template<typename InvalidWitnessTarget>
struct acir_format::Predicate< InvalidWitnessTarget >

Definition at line 28 of file test_class_predicate.hpp.

Member Function Documentation

◆ get_all()

template<typename InvalidWitnessTarget >
static std::vector< PredicateTestCase > acir_format::Predicate< InvalidWitnessTarget >::get_all ( )
inlinestatic

Definition at line 32 of file test_class_predicate.hpp.

◆ get_labels()

template<typename InvalidWitnessTarget >
static std::vector< std::string > acir_format::Predicate< InvalidWitnessTarget >::get_labels ( )
inlinestatic

Definition at line 37 of file test_class_predicate.hpp.

Member Data Documentation

◆ invalid_witness

template<typename InvalidWitnessTarget >
InvalidWitnessTarget acir_format::Predicate< InvalidWitnessTarget >::invalid_witness

Definition at line 30 of file test_class_predicate.hpp.

◆ test_case

template<typename InvalidWitnessTarget >
PredicateTestCase acir_format::Predicate< InvalidWitnessTarget >::test_case

Definition at line 29 of file test_class_predicate.hpp.


The documentation for this struct was generated from the following file: