uint16_t.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <random>
 
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint_mutations.hpp"
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
 
void mutate_uint16_t(uint16_t& value, std::mt19937_64& rng, const Uint16MutationConfig& config);