auto commit

rishav-karanjit · rishav-karanjit · commit b8c918ec9eab · 2025-06-13T10:36:18.000-07:00
diff --git a/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy b/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy
@@ -838,7 +838,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       BasicIoTestTransactGetItems(rClient, records);
     }
 
-    method {:only} BasicIoTestUpdateItem(writeConfig : TableConfig, readConfig : TableConfig, records : seq<Record>, attributeToUpdate: DDB.AttributeName)
+    method BasicIoTestUpdateItem(writeConfig : TableConfig, readConfig : TableConfig, records : seq<Record>, attributeToUpdate: DDB.AttributeName)
     {
       var wClient :- expect newGazelle(writeConfig);
       var rClient :- expect newGazelle(readConfig);

Original file line number	Diff line number	Diff line change
`@@ -838,7 +838,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {`
`838`	`838`	`BasicIoTestTransactGetItems(rClient, records);`
`839`	`839`	`}`
`840`	`840`
`841`		`- method {:only} BasicIoTestUpdateItem(writeConfig : TableConfig, readConfig : TableConfig, records : seq<Record>, attributeToUpdate: DDB.AttributeName)`
	`841`	`+ method BasicIoTestUpdateItem(writeConfig : TableConfig, readConfig : TableConfig, records : seq<Record>, attributeToUpdate: DDB.AttributeName)`
`842`	`842`	`{`
`843`	`843`	`var wClient :- expect newGazelle(writeConfig);`
`844`	`844`	`var rClient :- expect newGazelle(readConfig);`