-
Notifications
You must be signed in to change notification settings - Fork 12
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
fix: add ECDH error message for Rust #574
Conversation
@@ -124,6 +124,9 @@ module TestECDH { | |||
const OUT_OF_BOUNDS_ERR_MSG_NET6 := "value invalid for Fp field element (Parameter 'x')" | |||
const OUT_OF_BOUNDS_ERR_MSG_NE48 := "value invalid for Fp field element\r\nParameter name: x" | |||
|
|||
// Rust does not provide a separate error message for infinity or out of bounds | |||
const BAD_X509_KEY_RUST := "Invalid X509 Public Key." |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit:
const BAD_X509_KEY_RUST := "Invalid X509 Public Key." | |
const BAD_X509_KEY_RUST_ERR_MSG := "Invalid X509 Public Key." |
@@ -285,6 +288,7 @@ module TestECDH { | |||
var errMsg := validPublicKey.error.message; | |||
|
|||
expect ( | |||
errMsg == BAD_X509_KEY_RUST || |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
errMsg == BAD_X509_KEY_RUST || | |
errMsg == BAD_X509_KEY_RUST_ERR_MSG || |
@@ -334,6 +338,7 @@ module TestECDH { | |||
var errMsg := validPublicKey.error.message; | |||
expect ( | |||
seq_contains(errMsg, OUT_OF_BOUNDS_ERR_MSG_JAVA) || | |||
errMsg == BAD_X509_KEY_RUST || |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
errMsg == BAD_X509_KEY_RUST || | |
errMsg == BAD_X509_KEY_RUST_ERR_MSG || |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm
* fix: add ECDH error message for Rust
* fix: add ECDH error message for Rust
* add ECDH error message for Rust ([#574](#574)) ([473a34a](473a34a)) * **DDB-Model:** DDB Supports 100 actions per Transaction ([#692](#692)) ([8a67843](8a67843)) * GetCurrentTimeStamp returns ISO8601 format ([#575](#575)) ([c07a51f](c07a51f)) * maintain order in test vectors for languages with parallel tests ([#641](#641)) ([8c8a38f](8c8a38f)) * Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions ([#611](#611)) ([d51d648](d51d648)) * Remove uses of `:|` ([#618](#618)) ([f12fe5b](f12fe5b)) * test vector help text ([#657](#657)) ([0fedaf1](0fedaf1)) * bump dafny verification and code gen to dafny 4.8.0 ([#520](#520)) ([e16539e](e16539e)) * **post-release:** Change back to 1.5.1-SNAPSHOT ([09cd9a4](09cd9a4))
* fix: add ECDH error message for Rust
* fix: add ECDH error message for Rust
* fix: add ECDH error message for Rust
Issue #, if available:
Description of changes:
Squash/merge commit message, if applicable:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.