Bump hegeltest from 0.39.4 to 0.41.0

[dependabot]

Bumps hegeltest from 0.39.4 to 0.41.0.

Changelog

Sourced from hegeltest's changelog.

0.41.0 - 2026-09-08

This release changes how hegeltest links Hegel's engine. The engine crate (hegeltest-c) is no longer a Rust dependency of hegeltest: by default the build script compiles it into the libhegel_c shared library and your tests load it at runtime, the same way every other language binding consumes the engine. Its dependencies therefore no longer appear in your cargo graph, where they were subject to feature unification and could even change type inference in unrelated code (#442).

cargo test and cargo run work unchanged. What changes is running a hegeltest binary outside cargo — a deployed #[hegel::main] fuzzer, a test binary copied to another machine — which now needs libhegel_c shipped next to the executable, its directory named in the HEGEL_C_LIB_DIR environment variable, or a copy findable by the platform's own library search (LD_LIBRARY_PATH and friends), tried in that order. Whichever copy is found must be the exact engine version this hegeltest release was built against. A mismatched library is refused on load with an error naming both versions. To keep self-contained binaries instead, enable the new static-engine feature, which links the engine in as a Rust dependency exactly as before, including its dependency tree:

hegeltest = { version = "0.40.0", features = ["static-engine"] }

Builds without access to crates.io need one of the same escape hatches: when there is no local engine checkout the build script fetches the pinned hegeltest-c source from crates.io, so either enable static-engine or set HEGEL_C_LIB_DIR (it also works at build time) to a directory containing a prebuilt library. Targets that cannot load shared libraries at runtime, such as statically linked musl, need static-engine.

This release also removes the internal __bench feature (the engine microbenchmarks moved into hegeltest-c) and drops the unused crc32fast, dashu-int, miniz_oxide, and rustc-hash dependencies. rand is now a dependency only under the rand feature, and tempfile is now test-only.

0.40.6 - 2026-09-08

This patch fixes a panic in Hegel's backtrace formatting. When a failing test's short backtrace contained the __rust_end_short_backtrace and __rust_begin_short_backtrace markers in an arrangement where the frame the end marker selected came after the begin marker, the formatter computed a start index greater than its end index and panicked with slice index starts at N but ends at M while slicing the frame list. That panic replaced the real test failure with an unrelated engine-side crash. The formatter now detects the inconsistent range and falls back to keeping the full backtrace instead of panicking.

0.40.5 - 2026-09-07

This release updates the hegeltest-c dependency to 0.37.5.

0.40.4 - 2026-09-07

This release updates the hegeltest-c dependency to 0.37.4.

0.40.3 - 2026-09-07

This release updates the hegeltest-c dependency to 0.37.3.

0.40.2 - 2026-09-07

This release updates the hegeltest-c dependency to 0.37.2.

0.40.1 - 2026-09-07

This patch suppresses HealthCheck::TooSlow by default in CI, matching Hypothesis's CI profile. Explicit Settings::suppress_health_check calls still replace the default.

0.40.0 - 2026-09-07

This release adds #[invariant(always_run)] for stateful tests (#449). A plain #[invariant] is checked in full on the machine's initial and final state and sampled in between; an always-run invariant runs after every rule (at every join point, for concurrent machines) instead. Use it for invariants that must observe every intermediate state, including invariants that mutate state when checked:

#[invariant(always_run)]
fn no_unobserved_writes(&mut self, _: TestCase) {
    assert!(self.writes_since_last_check <= 1);
    self.writes_since_last_check = 0;
}

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

Superseded by #107.