CheckableComposer Concept Reference

Fuzzer uses only composers with check_circuit function. More...

#include <fuzzer.hpp>

Concept definition

template<typename T>
concept CheckableComposer =  requires(T a) {
                                {
                                    a.check_circuit()
                                    } -> std::same_as<bool>;
                            }

Detailed Description

Fuzzer uses only composers with check_circuit function.

Template Parameters

T