Bump hegeltest from 0.44.1 to 0.45.4

[dependabot]

Bumps hegeltest from 0.44.1 to 0.45.4.

Changelog

Sourced from hegeltest's changelog.

0.45.4 - 2026-09-15

This release updates the hegeltest-c dependency to 0.42.3.

0.45.3 - 2026-09-14

This patch adds three environment variables that override settings for a single run, so a #[hegel::test] can be re-run with a chosen seed or made to print its reproducer without editing the test (libtest owns the command line, so the #[hegel::main] flags were never available to ordinary test targets):

• HEGEL_SEED overrides seed: an integer fixes the seed, and none clears a compiled-in one, the same vocabulary as the --seed flag.
• HEGEL_DERANDOMIZE overrides derandomize, and HEGEL_PRINT_BLOB overrides print_blob, each taking true, 1 or yes, or false, 0 or no.

Like the existing HEGEL_TEST_CASES and HEGEL_DATABASE, each wins over values configured in source, including explicit attribute settings; an empty variable is ignored and a malformed one fails the run with a message naming the variable. The overrides do not change how the settings combine: a fixed seed still takes precedence over derandomize wherever either came from. (#492)

0.45.2 - 2026-09-14

This patch raises the limit on the number of choices a single test case may make from 8,192 to 2^20 (1,048,576), and ties it to the TestCasesTooLarge health check. A test case that reaches the limit is stopped and discarded, and enough such cases fail TestCasesTooLarge (or LargeInitialTestCase, when even the smallest natural input does). Suppressing TestCasesTooLarge now also removes the limit, so a test case can run indefinitely, which long-running concurrent state machines need. #[hegel::main] binaries already suppress that check, so their one test case has no limit.

#[hegel::test(test_cases = 1, suppress_health_check = [HealthCheck::TestCasesTooLarge])]
fn soak(tc: TestCase) {
    machine(Counter::new()).steps(5_000_000).run_concurrent(tc);
}

Adding values to a stateful Pool or ConcurrentPool no longer slows down as the pool grows: a test case that adds many thousands of values used to take quadratic time in the number of additions.

0.45.1 - 2026-09-14

This patch changes how releases are tagged in the hegel-rust repository. Every hegeltest release is now tagged v<version>, and libhegel releases, which previously took the plain v<version> tags, are tagged libhegel-v<version> instead. Nothing about the crate itself changes.

0.45.0 - 2026-09-14

This release turns print_blob on by default.

0.44.2 - 2026-09-14

This patch moves the Antithesis integration into the engine: the test's location is now passed to libhegel, which writes the verdict to sdk.jsonl itself when running inside Antithesis. Nothing changes in what is reported.

With no JSON left to write in the frontend, serde_json is now only a dependency when the serde_json feature is enabled, instead of always.

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)