fix main merge

aws · Dec 18, 2024 · c90ec36 · c90ec36
1 parent 2ef5869
commit c90ec36
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy
@@ -134,18 +134,6 @@ module SearchConfigToInfo {
       && config.multi.keyFieldName in outer.attributeActionsOnEncrypt
       && outer.attributeActionsOnEncrypt[config.multi.keyFieldName] == SE.ENCRYPT_AND_SIGN
       ==> output.Failure?
-    // Not in Spec, but for now, SE does not support the Shared Cache Type
-    ensures
-      && config.multi?
-      && config.multi.cache.Some?
-      && config.multi.cache.value.Shared?
-      ==>
-        && output.Failure?
-           // If the failure was NOT caused by booting up the MPL
-        && !output.error.AwsCryptographyMaterialProviders?
-        ==>
-          && output.error.DynamoDbEncryptionException?
-          && output.error.message == "Searchable Encryption does not support the Shared Cache type at this time."
   {
     // TODO-FutureCleanUp : https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1510
     // It is not-good that the MPL is initialized here;