Skip to content

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