hegeltest 0.1.0

Property-based testing for Rust, built on Hypothesis
docs.rs failed to build hegeltest-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

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]
hegel = { git = "https://github.com/hegeldev/hegel-rust" }

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