hegel

What problem does it solve?

Guides developers to implement property-based testing using Hegel by generating diverse inputs and shrinking failing cases.

Core Features & Use Cases

• Generative testing guidance: learn to craft tests that produce meaningful counterexamples and automatic shrinking to minimal failing inputs.
• Cross-language applicability: applicable to Rust and other Hypothesis-powered ecosystems, with integration into common runners like cargo test, pytest, and jest.
• Workflow & porting guidance: provides references, evolving-test patterns, and property-category guidance to evolve existing tests into robust PBT workflows.

Quick Start

Start by writing tests that draw inputs with tc.draw() and assert properties to exercise your code paths.