Skip to content

Add proptests with round trip check#897

Merged
tarcieri merged 1 commit into
masterfrom
proptests
Feb 12, 2025
Merged

Add proptests with round trip check#897
tarcieri merged 1 commit into
masterfrom
proptests

Conversation

@tarcieri

@tarcieri tarcieri commented Feb 12, 2025

Copy link
Copy Markdown
Member
  • Ensures we can verify signatures we've produced
  • Ensures we can decode signatures we've encoded

Note: need to land #895 first so the tests pass

Comment thread ml-dsa/src/lib.rs
Comment thread ml-dsa/tests/proptests.rs

@bifurcation bifurcation left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Overall, looks good. Couple of minor comments.

Comment thread ml-dsa/tests/proptests.rs Outdated
Comment thread ml-dsa/tests/proptests.rs Outdated
Comment thread ml-dsa/tests/proptests.proptest-regressions
- Ensures we can verify signatures we've produced
- Ensures we can decode signatures we've encoded
@tarcieri tarcieri merged commit b4c90c5 into master Feb 12, 2025
@tarcieri tarcieri deleted the proptests branch February 12, 2025 22:15
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.

2 participants