BoolFuzzBase< Builder >::ExecutionHandler Class Reference

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

#include <bool.fuzzer.hpp>

Public Member Functions
	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.

Member Function Documentation

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

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

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

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

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

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

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

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

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

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

---

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

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