Guide property-based testing with Hegel by generating inputs and shrinking failures.
npx skills add https://github.com/vemolista/dotfiles --skill hegel
Please help me install this Agent Skill. Skill: hegel Source: https://github.com/vemolista/dotfiles/tree/main/dot_config/agents/skills/hegel Command: npx skills add https://github.com/vemolista/dotfiles --skill hegel
Guides developers to implement property-based testing using Hegel by generating diverse inputs and shrinking failing cases.
Start by writing tests that draw inputs with tc.draw() and assert properties to exercise your code paths.
High-intent search queries and answers about installing and using this skill.
You evolve existing tests into property-based tests by drawing diverse inputs with tc.draw(), asserting properties across code paths, and using provided property-category guidance to structure the workflow.
Shrinking automatically reduces failing generated inputs to their minimal failing counterexamples. Hegel guides crafting tests that produce meaningful counterexamples through automatic shrinking to minimal failing inputs.
Yes, property-based testing using Hegel integrates into common runners including cargo test, pytest, and jest across Rust and other Hypothesis-powered ecosystems.
Start writing property-based tests in Rust by drawing inputs with tc.draw() and asserting properties to exercise code paths, leveraging provided references and property-category guidance to structure the tests.
Yes, property-based testing using Hegel is applicable to Rust and other Hypothesis-powered ecosystems, providing cross-language workflow and porting guidance for common test runners.
Avoid property-based testing when your code cannot accept diverse generated inputs or when automatic shrinking fails to produce meaningful minimal counterexamples for your specific logic.
peancharoenDetect test frameworks, run tests, and generate coverage reports.
japurcellWrite failing tests, implement minimal code, and refactor for clarity.
quanganh208Automate unit, integration, e2e, and UI tests across multiple runners.
luanrodriguesAutomate domain invariant verification via property-based testing for PHP code.
