Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support 'require' and 'ensuring' message overloads #1382

Merged
merged 1 commit into from
Mar 7, 2023

Conversation

mario-bucev
Copy link
Collaborator

Allows to write require(p, "some message") and (...).ensuring(p, "another message") for both the Scala and StaticChecks variants.

@mario-bucev mario-bucev force-pushed the require-ensuring-messages branch from 4422f93 to 61df015 Compare March 2, 2023 08:22
@mario-bucev mario-bucev force-pushed the require-ensuring-messages branch from 61df015 to df79af2 Compare March 7, 2023 09:42
@mario-bucev mario-bucev merged commit 56780c8 into epfl-lara:main Mar 7, 2023
@mario-bucev mario-bucev deleted the require-ensuring-messages branch March 7, 2023 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant