Skip to content

Conversation

@jribbink
Copy link

@jribbink jribbink commented Jan 5, 2024

No description provided.

@jribbink jribbink marked this pull request as ready for review April 8, 2024 15:36
@jribbink jribbink requested a review from JeffreyDoyle as a code owner April 8, 2024 15:36
Copy link

@sisyphusSmiling sisyphusSmiling left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Suggested adding view modifiers so the verification methods could be used in pre/post conditions if needed, but not a blocker at all.

jribbink and others added 4 commits May 17, 2024 11:28
Co-authored-by: Giovanni Sanchez <108043524+sisyphusSmiling@users.noreply.github.com>
Co-authored-by: Giovanni Sanchez <108043524+sisyphusSmiling@users.noreply.github.com>
Co-authored-by: Giovanni Sanchez <108043524+sisyphusSmiling@users.noreply.github.com>
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.

3 participants