#include "barretenberg/avm_fuzzer/mutations/control_flow/control_flow_vec.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/memory_tag.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint16_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/vector.hpp"
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
#include "barretenberg/avm_fuzzer/mutations/control_flow/return_options.hpp"

Functions
void	mutate_insert_simple_instruction_block (InsertSimpleInstructionBlock &instr, std::mt19937_64 &rng)

void	mutate_jump_to_new_block (JumpToNewBlock &instr, std::mt19937_64 &rng)

void	mutate_jump_if_to_new_block (JumpIfToNewBlock &instr, std::mt19937_64 &rng)

void	mutate_jump_to_block (JumpToBlock &instr, std::mt19937_64 &rng)

void	mutate_jump_if_to_block (JumpIfToBlock &instr, std::mt19937_64 &rng)

void	mutate_finalize_with_return (FinalizeWithReturn &instr, std::mt19937_64 &rng)

void	mutate_finalize_with_revert (FinalizeWithRevert &instr, std::mt19937_64 &rng)

void	mutate_switch_to_non_terminated_block (SwitchToNonTerminatedBlock &instr, std::mt19937_64 &rng)

void	mutate_insert_internal_call (InsertInternalCall &instr, std::mt19937_64 &rng)

CFGInstruction	generate_cfg_instruction (std::mt19937_64 &rng)

void	mutate_cfg_instruction (CFGInstruction &cfg_instruction, std::mt19937_64 &rng)

void	mutate_control_flow_vec (std::vector< CFGInstruction > &control_flow_vec, std::mt19937_64 &rng)

Function Documentation

◆ generate_cfg_instruction()

CFGInstruction generate_cfg_instruction ( std::mt19937_64 & rng )

Definition at line 76 of file control_flow_vec.cpp.

◆ mutate_cfg_instruction()

void mutate_cfg_instruction	(	CFGInstruction &	cfg_instruction,
		std::mt19937_64 &	rng
	)

Definition at line 105 of file control_flow_vec.cpp.

◆ mutate_control_flow_vec()

void mutate_control_flow_vec	(	std::vector< CFGInstruction > &	control_flow_vec,
		std::mt19937_64 &	rng
	)

Definition at line 120 of file control_flow_vec.cpp.

◆ mutate_finalize_with_return()

void mutate_finalize_with_return	(	FinalizeWithReturn &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 56 of file control_flow_vec.cpp.

◆ mutate_finalize_with_revert()

void mutate_finalize_with_revert	(	FinalizeWithRevert &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 61 of file control_flow_vec.cpp.

◆ mutate_insert_internal_call()

void mutate_insert_internal_call	(	InsertInternalCall &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 71 of file control_flow_vec.cpp.

◆ mutate_insert_simple_instruction_block()

void mutate_insert_simple_instruction_block	(	InsertSimpleInstructionBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 9 of file control_flow_vec.cpp.

◆ mutate_jump_if_to_block()

void mutate_jump_if_to_block	(	JumpIfToBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 40 of file control_flow_vec.cpp.

◆ mutate_jump_if_to_new_block()

void mutate_jump_if_to_new_block	(	JumpIfToNewBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 19 of file control_flow_vec.cpp.

◆ mutate_jump_to_block()

void mutate_jump_to_block	(	JumpToBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 35 of file control_flow_vec.cpp.

◆ mutate_jump_to_new_block()

void mutate_jump_to_new_block	(	JumpToNewBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 14 of file control_flow_vec.cpp.

◆ mutate_switch_to_non_terminated_block()

void mutate_switch_to_non_terminated_block	(	SwitchToNonTerminatedBlock &	instr,
		std::mt19937_64 &	rng
	)

Definition at line 66 of file control_flow_vec.cpp.

Functions