BoolFuzzBase< Builder > Class Template Reference

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

#include <bool.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	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< BoolFuzzBase::ExecutionHandler > &stack)
	Check that the resulting values are equal to expected.

Private Types
typedef bb::stdlib::bool_t< Builder >	bool_t
typedef bb::stdlib::witness_t< Builder >	witness_t

Detailed Description

template<typename Builder>
class BoolFuzzBase< Builder >

The class parametrizing ByteArray fuzzing instructions, execution, etc.

Definition at line 33 of file bool.fuzzer.hpp.

Member Typedef Documentation

bool_t

template<typename Builder >

typedef bb::stdlib::bool_t<Builder> BoolFuzzBase< Builder >::bool_t

private

Definition at line 35 of file bool.fuzzer.hpp.

ExecutionState

template<typename Builder >

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

Definition at line 661 of file bool.fuzzer.hpp.

witness_t

template<typename Builder >

typedef bb::stdlib::witness_t<Builder> BoolFuzzBase< Builder >::witness_t

private

Definition at line 36 of file bool.fuzzer.hpp.

Member Function Documentation

postProcess()

template<typename Builder >

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

inlinestatic

Check that the resulting values are equal to expected.

Template Parameters

Builder

Parameters

builder
stack

Returns

true

false

Definition at line 671 of file bool.fuzzer.hpp.

---

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

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