fix(deps): update dependency org.dafny:dafnyruntime to v4.10.0

[mend-for-github-com]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
org.dafny:DafnyRuntime	4.9.1 -> 4.10.0

---

Release Notes

dafny-lang/dafny (org.dafny:DafnyRuntime)

v4.10.0

New features

• Support for code actions in the language server to:

  • Insert failing implicit assertions in a "by" clause by preference.
  • Insert forall statement for any forall expressions that could not be proved
  • Insert calc statement for any equality that cannot be proved.
    https://github.com/dafny-lang/dafny/pull/6044ull/6044)

• Besides --filter-position :<line>, also support --filter-position :<start>-<end>, --filter-position :<start>- and --filter-position :-<end> (https://github.com/dafny-lang/dafny/pull/6077)

• The options --iterations from the command measure-complexity, has been renamed to --mutations. The option --progress VerificationJob has been renamed to --progress Batch. (https://github.com/dafny-lang/dafny/pull/6078)

Bug fixes

• By clauses for assign-such-that statements (:|), are now never ignored. (https://github.com/dafny-lang/dafny/pull/6024)

• The code action for assertion no longer suggests asserting the same assertion. (https://github.com/dafny-lang/dafny/pull/6025)

• Fix a bug that caused a crash when translating by blocks (https://github.com/dafny-lang/dafny/pull/6050)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

disabled

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.53%. Comparing base (d90ac17) to head (928d5ee).
Report is 2 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1053      +/-   ##
============================================
+ Coverage     75.47%   75.53%   +0.05%     
  Complexity     1050     1050              
============================================
  Files           101      101              
  Lines          5215     5215              
  Branches        498      498              
============================================
+ Hits           3936     3939       +3     
+ Misses         1042     1038       -4     
- Partials        237      238       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.