Searched full:plugin_class (Results 1 – 2 of 2) sorted by relevance
31 % Common::each_plugin_suboption("Verification", "plugin_class") do |plugin_class, plugin_lang|33 static <%= plugin_class %> <%= plugin_lang %>_PLUGIN;38 % Common::each_plugin_suboption("Verification", "plugin_class") do |_, plugin_lang|
57 plugin_class: ark::verifier::plugin::EtsPlugin