Spec templates for xchecker
This module provides built-in templates for bootstrapping specs quickly. Templates include predefined problem statements, configuration, and example partial spec flows for common use cases.
Requirements:
- 4.7.1:
xchecker template listlists built-in templates - 4.7.2:
xchecker template init <template> <spec-id>seeds spec from template - 4.7.3: Each template has a README describing intended use