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

[DSLX:run_routines] Enable quickcheck to be exhaustive. #1829

Conversation

cdleary
Copy link
Collaborator

@cdleary cdleary commented Jan 5, 2025

Fixes #1715

  • Add support for exhaustive directive on quickchecks, updates docs.
  • Adds a bitmap view, which is helpful for looking at substrings of an overall bit vector when we're trying to populate aggregate values from an underlying bit string.
  • Plumbs a filesystem factory into the run routines for purposes of testing.
  • Adds Value::PopulateFrom(BitmapView) and does round trip fuzz testing on it
  • Adds a warning-as-error to the OSS .bazelrc, previously you could forget to return values in a function with a stated return type without getting an error

@copybara-service copybara-service bot merged commit 14a6ae0 into google:main Jan 6, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[enhancement] Exhaustive quickchecks
2 participants