InstructionArgumentSizes Concept Reference

Concept for forcing ArgumentSizes to be size_t. More...

#include <fuzzer.hpp>

Concept definition

template<typename T>
concept InstructionArgumentSizes =  requires {
    {
        std::make_tuple(T::CONSTANT,
                        T::WITNESS,
                        T::CONSTANT_WITNESS,
                        T::ADD,
                        T::SUBTRACT,
                        T::MULTIPLY,
                        T::DIVIDE,
                        T::ADD_TWO,
                        T::MADD,
                        T::MULT_MADD,
                        T::MSUB_DIV,
                        T::SQR,
                        T::SQR_ADD,
                        T::SUBTRACT_WITH_CONSTRAINT,
                        T::DIVIDE_WITH_CONSTRAINTS,
                        T::SLICE,
                        T::ASSERT_ZERO,
                        T::ASSERT_NOT_ZERO)
    } -> std::same_as<std::tuple<size_t>>;
}

Detailed Description

Concept for forcing ArgumentSizes to be size_t.

Template Parameters

T

Definition at line 134 of file fuzzer.hpp.