AvmRecursionConstraintTestingFunctions::InvalidWitness Class Reference

Public Types
enum class	Target : uint8_t { None , PublicInputs , Proof }

Static Public Member Functions
static std::vector< Target >	get_all ()
static std::vector< std::string >	get_labels ()

Detailed Description

Definition at line 35 of file avm2_recursion_constraint.test.cpp.

Member Enumeration Documentation

Target

enum class AvmRecursionConstraintTestingFunctions::InvalidWitness::Target : uint8_t

strong

Enumerator
None
PublicInputs
Proof

Definition at line 37 of file avm2_recursion_constraint.test.cpp.

Member Function Documentation

get_all()

static std::vector< Target > AvmRecursionConstraintTestingFunctions::InvalidWitness::get_all ( )

inlinestatic

Definition at line 38 of file avm2_recursion_constraint.test.cpp.

get_labels()

static std::vector< std::string > AvmRecursionConstraintTestingFunctions::InvalidWitness::get_labels ( )

inlinestatic

Definition at line 43 of file avm2_recursion_constraint.test.cpp.

---

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

• src/barretenberg/vm2/dsl/avm2_recursion_constraint.test.cpp