propagate - Generate tests from Allium specifications
Generate assertion-based, property-based, and state-machine tests from Allium specifications and correlate obligations with implementation code.
Tags
Updated: 2026-10-16Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Generate assertion-based tests
- Generate property-based tests
- Generate state-machine tests
- Map obligations to implementation
- Check coverage against obligations
- Exercise lifecycle paths
Inputs
- Allium specification
- Target codebase
- Test obligations
- Domain model
- Project test conventions
Outputs
- Generated test files
- Test execution results
- Obligation coverage results
- Uncovered obligation reports
- Ambiguous decision reports
Requirements
- Write access to target codebase
- Project test framework
- Allium CLI tools when available