-
Notifications
You must be signed in to change notification settings - Fork 0
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
Extra test vectors #47
Conversation
This splits the example into what the URI said (there is a query parameter) and what the CRI said (there is a question mark in the path).
Is there any discussion necessary on whether these changes are correct, or can we just merge this? |
I've updated my Rust implementation (some cleanup needed before pushing), and it passes with these vectors and I found no new issues from making it work. |
One more commit now adds a test for PET in the host name; I found that necessary for feature coverage in the Rust implementation (but they pass in the Python impl as well). |
The empty array is clearly described to mean discard-nothing. A separate test case that duplicated the previously existing explicit `[0]` case is removed. (So that there are now "only" 2 CRIs equivalent to the URI <>).
Takeaway from today's meeting: "invalid" should be classified (without ruling out that weird cases stay weird until our mental model of how things can be wrong in a CRI has been enhanced) |
Now for some hard ones...
This introduces two things on the mechanism side:
That being said, these tests are what I needed to get OKish coverage, and to flush out places where I knew my implementation was incomplete. It contains PETs and non-PET things that do or do not need escaping in a lot of places, plus tests for things that will get separate issues shortly (like the last one)