Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
HavocConfigConstraint Concept Reference

Concept for Havoc Configurations. More...

#include <fuzzer.hpp>

Concept definition

template<typename T>
concept HavocConfigConstraint = requires {
{
std::make_tuple(T::GEN_MUTATION_COUNT_LOG, T::GEN_STRUCTURAL_MUTATION_PROBABILITY)
T::GEN_MUTATION_COUNT_LOG <= 7;
}
Concept for Havoc Configurations.
Definition fuzzer.hpp:163
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

Detailed Description

Concept for Havoc Configurations.

Template Parameters
T

Definition at line 163 of file fuzzer.hpp.