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

add primitive property tests #1402

Closed
wants to merge 5 commits into from
Closed

Conversation

bdemann
Copy link
Member

@bdemann bdemann commented Oct 20, 2023

No description provided.

@bdemann bdemann changed the title add boolean test add primitive property tests Oct 20, 2023
@bdemann
Copy link
Member Author

bdemann commented Oct 23, 2023

closing in favor of breaking each example into their own examples

@bdemann bdemann closed this Oct 23, 2023
@bdemann bdemann deleted the property_tests_prims branch October 23, 2023 18:55
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