This class implements the execution of safeuint with an oracle to detect discrepancies. More...

#include <bool.fuzzer.hpp>

Public Member Functions
	ExecutionHandler ()=default

	ExecutionHandler (bool r, bool_t b)

	ExecutionHandler (bool_t b)

ExecutionHandler	operator& (const ExecutionHandler &other) const

ExecutionHandler	operator\| (const ExecutionHandler &other) const

ExecutionHandler	operator^ (const ExecutionHandler &other) const

ExecutionHandler	not_ () const

void	assert_equal (ExecutionHandler &other) const

ExecutionHandler	select_if_eq (ExecutionHandler &other1, ExecutionHandler &other2)

ExecutionHandler	set (Builder *builder)

Static Public Member Functions
static size_t	execute_CONSTANT (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the constant instruction (push constant bool_t to the stack)

static size_t	execute_WITNESS (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the witness instruction (push witness bool_t to the stack)

static size_t	execute_AND (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the and operator instruction.

static size_t	execute_OR (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the or operator instruction.

static size_t	execute_XOR (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the xor operator instruction.

static size_t	execute_NOT (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the NOT instruction.

static size_t	execute_SELECT_IF_EQ (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the SELECT_IF_EQ instruction.

static size_t	execute_ASSERT_EQUAL (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the ASSERT_EQUAL instruction.

static size_t	execute_SET (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the SET instruction.

static size_t	execute_RANDOMSEED (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the RANDOMSEED instruction.

Public Attributes
bool	reference_value

bool_t	b

Detailed Description

template<typename Builder>
class BoolFuzzBase< Builder >::ExecutionHandler

This class implements the execution of safeuint with an oracle to detect discrepancies.

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

Constructor & Destructor Documentation

◆ ExecutionHandler() [1/3]

template<typename Builder >

BoolFuzzBase< Builder >::ExecutionHandler::ExecutionHandler ( )

default

◆ ExecutionHandler() [2/3]

template<typename Builder >

BoolFuzzBase< Builder >::ExecutionHandler::ExecutionHandler	(	bool	r,
		bool_t	b
	)

inline

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

◆ ExecutionHandler() [3/3]

template<typename Builder >

BoolFuzzBase< Builder >::ExecutionHandler::ExecutionHandler ( bool_t b )

inline

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

Member Function Documentation

◆ assert_equal()

template<typename Builder >

void BoolFuzzBase< Builder >::ExecutionHandler::assert_equal ( ExecutionHandler & other ) const

inline

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

◆ execute_AND()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_AND	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the and operator instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_ASSERT_EQUAL()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_ASSERT_EQUAL	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the ASSERT_EQUAL instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_CONSTANT()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_CONSTANT	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the constant instruction (push constant bool_t to the stack)

Parameters

builder
stack
instruction

Returns: 0 if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_NOT()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_NOT	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the NOT instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_OR()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_OR	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the or operator instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_RANDOMSEED()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_RANDOMSEED	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the RANDOMSEED instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_SELECT_IF_EQ()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_SELECT_IF_EQ	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the SELECT_IF_EQ instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_SET()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_SET	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the SET instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_WITNESS()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_WITNESS	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the witness instruction (push witness bool_t to the stack)

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ execute_XOR()

template<typename Builder >

static size_t BoolFuzzBase< Builder >::ExecutionHandler::execute_XOR	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the xor operator instruction.

Parameters

builder
stack
instruction

Returns: if everything is ok, 1 if we should stop execution, since an expected error was encountered

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

◆ not_()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::not_ ( ) const

inline

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

◆ operator&()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::operator& ( const ExecutionHandler & other ) const

inline

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

◆ operator^()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::operator^ ( const ExecutionHandler & other ) const

inline

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

◆ operator|()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::operator| ( const ExecutionHandler & other ) const

inline

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

◆ select_if_eq()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::select_if_eq	(	ExecutionHandler &	other1,
		ExecutionHandler &	other2
	)

inline

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

◆ set()

template<typename Builder >

ExecutionHandler BoolFuzzBase< Builder >::ExecutionHandler::set ( Builder * builder )

inline

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

Member Data Documentation

◆ b

template<typename Builder >

bool_t BoolFuzzBase< Builder >::ExecutionHandler::b

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

◆ reference_value

template<typename Builder >

bool BoolFuzzBase< Builder >::ExecutionHandler::reference_value

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

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

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

Public Member Functions

Static Public Member Functions

Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ExecutionHandler() [1/3]

◆ ExecutionHandler() [2/3]

◆ ExecutionHandler() [3/3]

Member Function Documentation

◆ assert_equal()

◆ execute_AND()

◆ execute_ASSERT_EQUAL()

◆ execute_CONSTANT()

◆ execute_NOT()

◆ execute_OR()

◆ execute_RANDOMSEED()

◆ execute_SELECT_IF_EQ()

◆ execute_SET()

◆ execute_WITNESS()

◆ execute_XOR()

◆ not_()

◆ operator&()

◆ operator^()

◆ operator|()

◆ select_if_eq()

◆ set()

Member Data Documentation

◆ b

◆ reference_value