Hegel for Rust

[!IMPORTANT] If you've found this repository, congratulations! You're getting a sneak peek at an upcoming property-based testing library from Antithesis, built on Hypothesis.

We are still making rapid changes and progress. Feel free to experiment, but don't expect stability from Hegel just yet!

Installation

In your Cargo.toml:

[dev-dependencies]
hegeltest = "0.1.0"

Hegel requires either:

• uv on your system,
• or HEGEL_SERVER_COMMAND set to the path of a hegel-core binary.

Quick Start

use hegel::generators;

#[hegel::test]
fn test_addition_commutative(tc: hegel::TestCase) {
    let x = tc.draw(generators::integers::<i32>());
    let y = tc.draw(generators::integers::<i32>());
    assert_eq!(x + y, y + x);
}

See docs/getting-started.md for more.

Development

just test        # run tests
just check       # run PR checks: lint + tests + docs