[dependabot]

Bumps hegeltest from 0.45.4 to 0.46.1.

Changelog

Sourced from hegeltest's changelog.

0.46.1 - 2026-09-17

This release updates the hegeltest-c dependency to 0.43.1.

0.46.0 - 2026-09-16

This release adds rule weights to stateful testing. #[rule(weight = ...)] hints that a rule should be executed more often than the machine's other rules. It is not a distributional guarantee. #[rule] has weight 1. Integer and float literals are both accepted, and the weight must be finite and positive:

#[hegel::state_machine]
impl Cache {
    #[rule(weight = 5)]
    fn get(&mut self, tc: TestCase) { /* ... */ }
#[rule]
fn evict_everything(&mut self, _: TestCase) { /* ... */ }

}

Rule::new and ConcurrentRule::new take the weight as an argument.

Arguments to #[rule] on a sequential state machine are now checked, so #[rule(bad_arg = "...")] on a #[hegel::state_machine] is a compile error.

0.45.6 - 2026-09-16

This patch fixes a failing test being reported to Antithesis twice. Once the engine had found and shrunk a counterexample, the final replay that re-raises the failure was reported as its own verdict, so sdk.jsonl carried the test's assertion twice (three or more times when report_multiple_failures found several distinct failures). Inside Antithesis a run now writes its assertion exactly once, whatever its outcome. #[hegel::reproduce_failure] still reports the replay it runs, since that replay is the whole test.

0.45.5 - 2026-09-15

This release updates the hegeltest-c dependency to 0.42.4.

Commits

• 9a130bf Bump hegeltest to 0.46.1 and hegeltest-c to 0.43.1 and update changelog
• 4906faa Merge pull request #489 from max-amb/worktree-rename-float-clamp
• 44422dc Merge branch 'main' into worktree-rename-float-clamp
• 24cb169 Bump hegeltest to 0.46.0 and hegeltest-c to 0.43.0 and update changelog
• 5846275 Merge pull request #497 from hegeldev/weighted-rules
• df3e2aa Merge branch 'main' into weighted-rules
• fecc44c Bump hegeltest to 0.45.6 and update changelog
• 73c177d Merge pull request #499 from hegeldev/antithesis-report-failure-once
• 19a4154 Report a failing test to Antithesis once, not twice
• 3589898 Merge branch 'main' into worktree-rename-float-clamp
• Additional commits viewable 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)