Hegel launches, bringing property-based testing to multiple programming languages. The creator of Hypothesis joined Antithesis, resulting in this new family of libraries that combine high-quality testing with Antithesis's infrastructure. Hegel for Rust is available now, with Go, C++, OCaml, and TypeScript versions following soon.

Property-based testing automatically generates test cases from specified properties, catching bugs developers might miss. Examples include fraction parsing panics, decimal conversion issues, and Unicode handling problems in title case conversions. The approach finds three bug categories: overlooked edge cases, data type issues, and complex structural invariant violations.

Hegel's model-based testing compares implementations against reference versions to ensure consistency. The library offers high-quality generators, internal shrinking for readable failure cases, and a test database for reproducing failures. This approach saves development time