RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::InvalidWitness Class Reference

Public Types
enum class	Target : uint8_t { None , ReadValueIncremented }

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

Detailed Description

template<typename Builder_, size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>
class RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::InvalidWitness

Definition at line 221 of file block_constraint.test.cpp.

Member Enumeration Documentation

Target

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

enum class RAMTestingFunctions::InvalidWitness::Target : uint8_t

strong

Enumerator
None
ReadValueIncremented

Definition at line 223 of file block_constraint.test.cpp.

Member Function Documentation

get_all()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

static std::vector< Target > RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::InvalidWitness::get_all ( )

inlinestatic

Definition at line 224 of file block_constraint.test.cpp.

get_labels()

template<typename Builder_ , size_t table_size, size_t num_reads, size_t num_writes, bool perform_constant_ops>

static std::vector< std::string > RAMTestingFunctions< Builder_, table_size, num_reads, num_writes, perform_constant_ops >::InvalidWitness::get_labels ( )

inlinestatic

Definition at line 232 of file block_constraint.test.cpp.

---

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

• src/barretenberg/dsl/acir_format/block_constraint.test.cpp