Plugins
All specgen code generation plugins rely on specgen command line tool. specgen binary is packaged inside of the plugin. spegen binary is unpacked from the installed plugin and executed as needed during plugin execution.
Here is list of specgen plugins:
Last updated