Verify Rust code invariants with property-based testing using proptest.
npx skills add https://github.com/patrykgz/rust-devagent-loop-template --skill proptest
Please help me install this Agent Skill. Skill: proptest Source: https://github.com/patrykgz/rust-devagent-loop-template/tree/main/.claude/skills/proptest Command: npx skills add https://github.com/patrykgz/rust-devagent-loop-template --skill proptest
Property-based testing helps ensure correctness by verifying invariants across various inputs and shrinking failing cases to minimal examples.
Write a proptest-based test that asserts a property holds for arbitrary inputs using the proptest! macro.
High-intent search queries and answers about installing and using this skill.
Property-based testing in Rust verifies invariants by generating arbitrary data inputs. This approach automatically uncovers edge cases that might cause failures.
Write a proptest test by applying the proptest! macro to assert a property holds for arbitrary inputs. This verifies invariants across custom types and collections.
Yes, you can generate arbitrary data for custom Rust types using proptest. The optional proptest-derive crate allows deriving Arbitrary for complex nested structures.
Shrinking in Rust automatically reduces failing arbitrary data inputs to minimal counterexamples. This makes debugging property-based test failures significantly easier.
No, the proptest-derive crate is optional. You can perform property-based testing using the core proptest crate with strategies for collections and custom types.
ewe-studiosCreate Rust unit, integration, and property-based tests with proptest.
Sir-chawakornGenerate diverse inputs and shrink counterexamples to verify software invariants.
dikiniGenerates idiomatic Rust code with spec traceability markers from implementation plans and validates via cargo check, clippy, and tests.
woohyun212Generate diverse inputs to test security invariants across Python, Rust, JavaScript, Solidity, and Go.
