v0.24.1

0.24.1 (2025-06-09)

Bug Fixes

• java-dsl: Add a no-argument version of runVerification(). This is a convenience function that implies no overridden configuration. (8a68081)
• java-dsl: Expose RunTestCallback - it was supposed to be exposed before, but was missed. This allows easy customisation of individual verification results (db82fc3)
• java-dsl: Now triggers can throw AssertionErrors if they wish to fail the test, regardless of whether an Exception is expected from the trigger or not (36d4cfa)
• java-dsl: Print warning if the verifier hasn't been closed at the time the shutdown hook for the core process is triggered (00ebe83)

Dependencies

• The following workspace dependencies were updated
  • devDependencies
    • @contract-case/eslint-config-case-maintainer bumped from 0.24.0 to 0.24.1