specsafe-test

Generate tests from a SpecSafe specification (SPEC → TEST stage).