Orchestrates Property-Based Testing workflows in MoonBit repositories using the Aletheia toolchain.
The pbt-workflow-guide is a specialized skill designed to streamline the adoption and optimization of Property-Based Testing (PBT) within MoonBit projects. It automates the Aletheia toolchain to analyze codebases, generate test templates via Markdown-Oriented Programming, and synchronize properties into executable tests. Beyond automation, it provides architectural guidance on selecting testing patterns—such as Round-Trip, Invariant, and Oracle—and offers expert strategies for designing effective input generators, custom shrinking logic, and model-based state machine tests.
Key Features
01Automated PBT pattern detection and Aletheia template generation
02State machine testing framework for verifying stateful systems
030 GitHub stars
04Advanced generator design with distribution and frequency control
05Custom Shrink implementation strategies for complex data types
06Expert guidance for Round-Trip, Idempotent, and Oracle testing patterns
Use Cases
01Migrating manual unit tests to automated property-based assertions
02Introducing PBT to existing MoonBit libraries to discover hidden edge cases
03Verifying complex stateful logic using model-based state machine verification
