memory_tag.cpp File Reference

#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"

Go to the source code of this file.

Typedefs
using	MemoryTag = bb::avm2::MemoryTag
	This file contains mechanisms for deterministically mutating and generating memory tag.

Functions
MemoryTag	generate_memory_tag (std::mt19937_64 &rng, const MemoryTagGenerationConfig &config)
void	mutate_memory_tag (MemoryTag &value, std::mt19937_64 &rng, const MemoryTagMutationConfig &config)
void	mutate_or_default_tag (MemoryTag &value, std::mt19937_64 &rng, MemoryTag default_tag, double probability=0.1)
	Mutate the memory tag or set to the chosen tag with a given probability.

Typedef Documentation

MemoryTag

using MemoryTag = bb::avm2::MemoryTag

This file contains mechanisms for deterministically mutating and generating memory tag.

Definition at line 6 of file memory_tag.cpp.

Function Documentation

generate_memory_tag()

MemoryTag generate_memory_tag	(	std::mt19937_64 &	rng,
		const MemoryTagGenerationConfig &	config
	)

Definition at line 8 of file memory_tag.cpp.

mutate_memory_tag()

void mutate_memory_tag	(	MemoryTag &	value,
		std::mt19937_64 &	rng,
		const MemoryTagMutationConfig &	config
	)

Definition at line 29 of file memory_tag.cpp.

mutate_or_default_tag()

void mutate_or_default_tag	(	MemoryTag &	value,
		std::mt19937_64 &	rng,
		MemoryTag	default_tag,
		double	probability = 0.1
	)

Mutate the memory tag or set to the chosen tag with a given probability.

Definition at line 57 of file memory_tag.cpp.