BigFieldBase< Builder > Class Template Reference

The class parametrizing Bigfield fuzzing instructions, execution, etc. More...

#include <bigfield.fuzzer.hpp>

Classes
class	ArgSizes
class	ExecutionHandler
	This class implements the execution of safeuint with an oracle to detect discrepancies. More...
class	Instruction
	A class representing a single fuzzing instruction. More...
class	InstructionWeights
	Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow. More...
class	Parser
	Parser class handles the parsing and writing the instructions back to data buffer. More...

Public Types
typedef std::vector< ExecutionHandler >	ExecutionState

Static Public Member Functions
static bool	postProcess (Builder *builder, std::vector< BigFieldBase::ExecutionHandler > &stack)
	Check that the resulting values are equal to expected.

Detailed Description

template<typename Builder>
class BigFieldBase< Builder >

The class parametrizing Bigfield fuzzing instructions, execution, etc.

Member Typedef Documentation

ExecutionState

template<typename Builder >

typedef std::vector<ExecutionHandler> BigFieldBase< Builder >::ExecutionState

For bigfield execution state is just a vector of ExecutionHandler objects

Member Function Documentation

postProcess()

template<typename Builder >

static bool BigFieldBase< Builder >::postProcess ( Builder *  builder, std::vector< BigFieldBase< Builder >::ExecutionHandler > &  stack  )

inlinestatic

Check that the resulting values are equal to expected.

Template Parameters

Builder

Parameters

builder
stack

Returns

true

false

---

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

• src/barretenberg/stdlib/primitives/bigfield/bigfield.fuzzer.hpp