Skip to content

Function Contracts: Better error messages #3273

Description

@pi314mm

tests/expected/function-contract/history/ui/ currently contains several failing test cases revolving around the old history expressions. These error messages need to be enhanced to provide clarity to the user.

Additionally, the macro rule of assert_spanned_err needs to be adapted to have better error messages upon usage and proper documentation.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Z-ContractsIssue related to code contracts[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions