Add script to auto-generate benchmark defs for C verifiers
Auto-generation happens based on fm-tools and the category-structure.yml.
This MR also checks in the current version of auto-generated files.
Edited by Thomas Lemberger
Auto-generation happens based on fm-tools and the category-structure.yml.
This MR also checks in the current version of auto-generated files.