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