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.

Sign up for GitHub

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

Jump to bottom

No side effects are allowed in demands, invariants, ensures #191

Open
mlhaufe opened this issue Apr 25, 2021 · 0 comments
Open

No side effects are allowed in demands, invariants, ensures #191

mlhaufe opened this issue Apr 25, 2021 · 0 comments
Assignees
@mlhaufe
Labels
requirement An assertion or property that must be fulfilled
Milestone
v1.0.0

Comments

@mlhaufe
Copy link
Contributor

mlhaufe commented Apr 25, 2021

Side-effects are allowed in rescue in order to restore any corrupted state
@mlhaufe mlhaufe added the requirement An assertion or property that must be fulfilled label Apr 25, 2021
@mlhaufe mlhaufe added this to the v1.0.0 milestone Apr 25, 2021
@mlhaufe mlhaufe self-assigned this Apr 25, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mlhaufe mlhaufe

Labels
requirement An assertion or property that must be fulfilled
Projects
None yet
Milestone
v1.0.0
Development

No branches or pull requests
1 participant
@mlhaufe