fix(H-Keyring): if getCache returns error that is !EntryDoesNotExist,…

… throw
aws · Oct 11, 2024 · a93598b · a93598b
1 parent 95b05a6
commit a93598b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/...dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy b/...dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy
@@ -482,8 +482,8 @@ module AwsKmsHierarchicalKeyring {
       verifyValidStateCache(cache);
       var getCacheOutput := getEntry(cache, getCacheInput);
 
-      // If error is opaque, return Failure
-      if (getCacheOutput.Failure? && getCacheOutput.error.Opaque?) {
+      // If error is not EntryDoesNotExist, return Failure
+      if (getCacheOutput.Failure? && !getCacheOutput.error.EntryDoesNotExist?) {
         return Failure(getCacheOutput.error);
       }
 
@@ -869,8 +869,8 @@ module AwsKmsHierarchicalKeyring {
       verifyValidStateCache(cache);
       var getCacheOutput := getEntry(cache, getCacheInput);
 
-      // If error is opaque, return Failure
-      if (getCacheOutput.Failure? && getCacheOutput.error.Opaque?) {
+      // If error is not EntryDoesNotExist, return Failure
+      if (getCacheOutput.Failure? && !getCacheOutput.error.EntryDoesNotExist?) {
         return Failure(getCacheOutput.error);
       }