SafeUintFuzzBase< Builder > Class Template Reference

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

#include <safe_uint.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

Private Types
using	bool_t = bb::stdlib::bool_t< Builder >
using	field_t = bb::stdlib::field_t< Builder >
using	suint_t = bb::stdlib::safe_uint_t< Builder >
using	witness_t = bb::stdlib::witness_t< Builder >
using	public_witness_t = bb::stdlib::public_witness_t< Builder >

Detailed Description

template<typename Builder>
class SafeUintFuzzBase< Builder >

The class parametrizing SafeUint fuzzing instructions, execution, etc.

Definition at line 117 of file safe_uint.fuzzer.hpp.

Member Typedef Documentation

bool_t

template<typename Builder >

using SafeUintFuzzBase< Builder >::bool_t = bb::stdlib::bool_t<Builder>

private

Definition at line 119 of file safe_uint.fuzzer.hpp.

ExecutionState

template<typename Builder >

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

Definition at line 1311 of file safe_uint.fuzzer.hpp.

field_t

template<typename Builder >

using SafeUintFuzzBase< Builder >::field_t = bb::stdlib::field_t<Builder>

private

Definition at line 120 of file safe_uint.fuzzer.hpp.

public_witness_t

template<typename Builder >

using SafeUintFuzzBase< Builder >::public_witness_t = bb::stdlib::public_witness_t<Builder>

private

Definition at line 123 of file safe_uint.fuzzer.hpp.

suint_t

template<typename Builder >

using SafeUintFuzzBase< Builder >::suint_t = bb::stdlib::safe_uint_t<Builder>

private

Definition at line 121 of file safe_uint.fuzzer.hpp.

witness_t

template<typename Builder >

using SafeUintFuzzBase< Builder >::witness_t = bb::stdlib::witness_t<Builder>

private

Definition at line 122 of file safe_uint.fuzzer.hpp.

---

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

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