uint_mutations.hpp File Reference

#include <algorithm>
#include <array>
#include <functional>
#include <random>
#include <type_traits>
#include <vector>
#include "barretenberg/avm_fuzzer/common/weighted_selection.hpp"
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
#include "barretenberg/numeric/uint128/uint128.hpp"

Go to the source code of this file.

Classes
struct	UintTraits< T >
struct	UintTraits< uint8_t >
struct	UintTraits< uint16_t >
struct	UintTraits< uint32_t >
struct	UintTraits< uint64_t >
struct	UintTraits< uint128_t >
struct	uint_mutation::RandomSelection< T >
struct	uint_mutation::IncrementBy1< T >
struct	uint_mutation::DecrementBy1< T >
struct	uint_mutation::AddRandomValue< T >

Namespaces
namespace	uint_mutation

Functions
template<typename T >
std::enable_if< std::is_integral< T >::value &&std::is_unsigned< T >::value, T >::type	generate_random_uint (std::mt19937_64 &rng)
template<>
uint128_t	generate_random_uint< uint128_t > (std::mt19937_64 &rng)
template<typename T , typename ConfigType >
void	mutate_uint (T &value, std::mt19937_64 &rng, const ConfigType &config)
uint8_t	generate_random_uint8 (std::mt19937_64 &rng)
uint16_t	generate_random_uint16 (std::mt19937_64 &rng)
uint32_t	generate_random_uint32 (std::mt19937_64 &rng)
uint64_t	generate_random_uint64 (std::mt19937_64 &rng)
uint128_t	generate_random_uint128 (std::mt19937_64 &rng)

Function Documentation

generate_random_uint()

template<typename T >

std::enable_if< std::is_integral< T >::value &&std::is_unsigned< T >::value, T >::type generate_random_uint

(

std::mt19937_64 &

rng

)

Definition at line 51 of file uint_mutations.hpp.

generate_random_uint128()

uint128_t generate_random_uint128 ( std::mt19937_64 &  rng )

inline

Definition at line 145 of file uint_mutations.hpp.

generate_random_uint16()

uint16_t generate_random_uint16 ( std::mt19937_64 &  rng )

inline

Definition at line 130 of file uint_mutations.hpp.

generate_random_uint32()

uint32_t generate_random_uint32 ( std::mt19937_64 &  rng )

inline

Definition at line 135 of file uint_mutations.hpp.

generate_random_uint64()

uint64_t generate_random_uint64 ( std::mt19937_64 &  rng )

inline

Definition at line 140 of file uint_mutations.hpp.

generate_random_uint8()

uint8_t generate_random_uint8 ( std::mt19937_64 &  rng )

inline

Definition at line 125 of file uint_mutations.hpp.

generate_random_uint< uint128_t >()

template<>

uint128_t generate_random_uint< uint128_t > ( std::mt19937_64 &  rng )

inline

Definition at line 57 of file uint_mutations.hpp.

mutate_uint()

template<typename T , typename ConfigType >

void mutate_uint	(	T &	value,
		std::mt19937_64 &	rng,
		const ConfigType &	config
	)

Definition at line 105 of file uint_mutations.hpp.