m

aws · Aug 6, 2024 · 1d68d63 · 1d68d63
1 parent 22061b0
commit 1d68d63
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/AwsCryptographyPrimitives/test/TestECDH.dfy b/AwsCryptographyPrimitives/test/TestECDH.dfy
@@ -125,7 +125,7 @@ module TestECDH {
   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."
+  const BAD_X509_KEY_ERR_MSG_RUST := "Invalid X509 Public Key."
 
   method {:test} TestKeyGen()
   {
@@ -288,7 +288,7 @@ module TestECDH {
       var errMsg := validPublicKey.error.message;
 
       expect (
-          errMsg == BAD_X509_KEY_RUST ||
+          errMsg == BAD_X509_KEY_ERR_MSG_RUST ||
           errMsg == INFINITY_POINT_ERR_MSG_JAVA ||
           errMsg == INFINITY_POINT_ERR_MSG_NET6 ||
           errMsg == INFINITY_POINT_ERR_MSG_NET48
@@ -338,7 +338,7 @@ module TestECDH {
       var errMsg := validPublicKey.error.message;
       expect (
           seq_contains(errMsg, OUT_OF_BOUNDS_ERR_MSG_JAVA) ||
-          errMsg == BAD_X509_KEY_RUST ||
+          errMsg == BAD_X509_KEY_ERR_MSG_RUST ||
           errMsg == OUT_OF_BOUNDS_ERR_MSG_NET6 ||
           errMsg == OUT_OF_BOUNDS_ERR_MSG_NE48
         );