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

Concept specifying the class used by the fuzzer. More...

#include <fuzzer.hpp>

Concept definition

template<typename T>
concept ArithmeticFuzzHelperConstraint = requires {
typename T::ArgSizes;
typename T::Instruction;
typename T::ExecutionState;
typename T::ExecutionHandler;
}
Concept specifying the class used by the fuzzer.
Definition fuzzer.hpp:175
Concept for forcing ArgumentSizes to be size_t.
Definition fuzzer.hpp:134

Detailed Description

Concept specifying the class used by the fuzzer.

Template Parameters
T

Definition at line 175 of file fuzzer.hpp.