rust-proptest
CommunityLearn robust property tests for Rust.
Software Engineering#rust#generators#property-testing#test-execution#shrinking#hegel#model-based-testing
Authorcfcosta
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Enables teams to design and implement robust property-based tests for Rust projects, using generators, shrinking, and server-backed execution to ensure deterministic and reproducible test suites.
Core Features & Use Cases
- Property-based testing guidance: craft meaningful laws, invariants, and metamorphic relations for Rust code.
- Generator composition and shrinking: design inputs that are valid by construction and shrink toward semantic simplicity.
- Model-based and differential testing patterns: compare SUT against reference implementations or models to surface real defects.
- Deterministic CI workflows: enable reproducible test runs with deterministic seeds and server-backed test execution for CI.
Quick Start
Provide a minimal Rust crate and enable property-based tests with hegel to generate inputs and verify invariants.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: rust-proptest Download link: https://github.com/cfcosta/duskpi/archive/main.zip#rust-proptest Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.