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

feat: add asserts and expect statements #10

Merged
merged 3 commits into from
Aug 27, 2024
Merged

feat: add asserts and expect statements #10

merged 3 commits into from
Aug 27, 2024

Conversation

heueristik
Copy link
Contributor

This PR adds:

  • greater and less than asserts
  • expect statements for convenience

@heueristik heueristik requested a review from paulcadman August 27, 2024 14:01
paulcadman
paulcadman reviewed Aug 27, 2024
View reviewed changes
Test/JuvixUnit.juvix Outdated Show resolved Hide resolved
paulcadman
paulcadman approved these changes Aug 27, 2024
View reviewed changes
Copy link
Collaborator

@paulcadman paulcadman left a comment

Choose a reason for hiding this comment

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

Thank you! Great improvement :)

@paulcadman paulcadman merged commit a87be47 into main Aug 27, 2024
1 check passed
@paulcadman paulcadman deleted the feature/asserts-and-expects branch August 27, 2024 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@paulcadman paulcadman paulcadman approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@heueristik @paulcadman