auto commit

rishav-karanjit · rishav-karanjit · commit ae6659878fe1 · 2025-06-12T15:33:06.000-07:00
diff --git a/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy b/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy
@@ -893,7 +893,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
         Statement := selectStatementForUnconfiguredTable
       );
       var selectResultUnconfiguredTable := rClient.ExecuteStatement(inputSelectStatementForUnconfiguredTable);
-      selectResultUnconfiguredTable.Success?;
+      expect selectResultUnconfiguredTable.Success?;
 
       DeleteTable(client := wClient, tableName := unConfiguredTable);
     }

Original file line number	Diff line number	Diff line change
`@@ -893,7 +893,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {`
`893`	`893`	`Statement := selectStatementForUnconfiguredTable`
`894`	`894`	`);`
`895`	`895`	`var selectResultUnconfiguredTable := rClient.ExecuteStatement(inputSelectStatementForUnconfiguredTable);`
`896`		`- selectResultUnconfiguredTable.Success?;`
	`896`	`+ expect selectResultUnconfiguredTable.Success?;`
`897`	`897`
`898`	`898`	`DeleteTable(client := wClient, tableName := unConfiguredTable);`
`899`	`899`	`}`