memory_tag.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
 
using MemoryTag = bb::avm2::MemoryTag;
 
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);