propagate

Generate unit and integration tests from Allium specifications.

5|4|Updated Mar 10, 2026

Search Tags:#testing #spec #generate #transitions #tests #property-based #allium

Ready to run

npx skills add https://github.com/editor-code-assistant/eca-plugins --skill propagate-editor-code-assistant

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: propagate
Source: https://github.com/editor-code-assistant/eca-plugins/tree/main/plugins/allium/skills/propagate
Command: npx skills add https://github.com/editor-code-assistant/eca-plugins --skill propagate-editor-code-assistant

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Propagate tests from Allium specifications to ensure full coverage of the specification's obligations. This skill translates a spec into a comprehensive suite of tests, preserving the intent of the original design while enabling repeatable validation across implementations.

Core Features & Use Cases

Deterministic test generation: derive tests from every spec construct to guarantee coverage.
Mode-based testing: supports Surface mode and Spec mode to target both interfaces and entire specifications.
Obligation-driven validation: uses test obligations, plan output, and domain model to drive test creation and ensure alignment with the spec.
Real-world guidance: provides a taxonomy of tests for invariants, transitions, data flow, and cross-module scenarios.

Quick Start

Run Allium plan and Allium model for your spec to generate a complete test suite.

Frequently Asked Questions about propagate

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I generate tests from an Allium specification?▼

Generate tests from an Allium specification by identifying spec entities and rules, mapping them to implementation points, and deriving unit or integration tests that satisfy the defined obligations. This ensures repeatable validation across implementations.

What is obligation-driven test generation for specifications?▼

Obligation-driven test generation translates a specification's constructs into a comprehensive suite of tests, ensuring every rule and invariant is validated. It preserves the original design intent while enabling deterministic, repeatable coverage.

Can I generate tests if the Allium plan or model artefacts are unavailable?▼

Yes, you can generate tests without plan or model artefacts by manually deriving test obligations from the spec using the provided taxonomy. The system maps spec entities and rules directly to implementation points to drive test creation.

What types of tests can I generate from a spec using this approach?▼

You can generate unit and integration tests aligned with project conventions, covering invariants, state transitions, data flow, and cross-module scenarios. It supports Surface mode for interfaces and Spec mode for entire specifications.

How do I ensure generated tests match my project's existing conventions?▼

Tests are generated by mapping specification entities and rules to implementation points within the target codebase, aligning the resulting unit and integration tests with the project's established conventions and structure.