auto commit

Author: rishav-karanjit

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -854,11 +854,11 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       );
       var resultForInsertStatement := wClient.ExecuteStatement(inputForInsertStatement);
       expect resultForInsertStatement.Failure?;
-      print(resultForInsertStatement.error.objMessage);
+      expect resultForInsertStatement.error.objMessage == "ExecuteStatement not Supported on encrypted tables.";
 
       // Create a PartiQL SELECT statement
       // The dynamodb attributes are random and non-existent because ExecuteStatement is supposed to be failed before going into dynamodb.
-      var selectStatement := "SELECT * FROM" + TableName + "WHERE partition_key = 'a' AND sort_key = 'b'";
+      var selectStatement := "SELECT * FROM " + TableName + " WHERE partition_key = 'a' AND sort_key = 'b'";
       var inputForSelectStatement := DDB.ExecuteStatementInput(
         Statement := selectStatement,
         Parameters := None,
@@ -869,7 +869,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       );
       var resultForSelectStatement := rClient.ExecuteStatement(inputForSelectStatement);
       expect resultForSelectStatement.Failure?;
-      print(resultForSelectStatement.error.objMessage);
+      expect resultForSelectStatement.error.objMessage == "ExecuteStatement not Supported on encrypted tables.";
     }
 
     method FindMatchingRecord(expected : DDB.AttributeMap, actual : DDB.ItemList) returns (output : bool)