test

Author: ajewellamz

DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/PutItemTransform.dfy

@@ -41,14 +41,15 @@ module PutItemTransformTest {
   {
     DDB.AttributeValue.S(x)
   }
+
   function method BasicItem() : DDB.AttributeMap
   {
     map[
       "bar" := DS("baz")
     ]
   }
 
-  method {:test} TestPutItemInputMultiFail(plaintextOverride : Option<AwsCryptographyDbEncryptionSdkDynamoDbTypes.PlaintextOverride>) {
+  method TestPutItemInputMultiFail(plaintextOverride : Option<AwsCryptographyDbEncryptionSdkDynamoDbTypes.PlaintextOverride>) {
     var middlewareUnderTest := TestFixtures.GetDynamoDbEncryptionTransformsMutli(plaintextOverride);
     var tableName := GetTableName("foo");
     var input := DDB.PutItemInput(
@@ -63,8 +64,8 @@ module PutItemTransformTest {
     expect transformed.Failure?;
     expect transformed.error == AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes.DynamoDbEncryptionTransformsException(
                                   message := "In multi-tenant mode, keyProviderId must be aws-kms-hierarchy");
-
   }
+
   method {:test} TestPutItemInputMulti() {
     TestPutItemInputMultiFail(None);
     TestPutItemInputMultiFail(Some(PlaintextOverride.FORBID_PLAINTEXT_WRITE_FORBID_PLAINTEXT_READ));