v0.25.2

0.25.2 (2025-06-22)

Features

• core: Now exceptions thrown by the core have the same information as the failures it prints, substantially improving developer experience (6319125)
• DSL: Add WillReceiveFunctionCallAndThrow, for defining contracts of throwing functions at the implementer side of the contract (4f01609)

Bug Fixes

• function-plugin: Correct error message when an exception is thrown (afdd9b5)
• function-plugin: Improve description of thrown errors (2cfb5e4)
• java-dsl: Add exceptions to the InvokeableFunction classes, allowing easier definition of contracts on methods that have checked exceptions (f378b26)

Dependencies

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