remove commented code

rishav-karanjit · rishav-karanjit · commit e7c6dd3a7255 · 2025-06-16T11:55:01.000-07:00
diff --git a/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy b/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy
@@ -892,8 +892,6 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
     {
       var wClient, rClient := SetupTestTable(writeConfig, readConfig);
       WriteAllRecords(wClient, records);
-      // var attributeToDelete := "Two";
-      // var valueToDelete := "Dos";
       // Try to delete records with a condition expression with condition to
       // delete records if the record has an attribute attributeToDelete with value expectedAttributeValue
       for i := 0 to |records| {

Original file line number	Diff line number	Diff line change
`@@ -892,8 +892,6 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {`
`892`	`892`	`{`
`893`	`893`	`var wClient, rClient := SetupTestTable(writeConfig, readConfig);`
`894`	`894`	`WriteAllRecords(wClient, records);`
`895`		`- // var attributeToDelete := "Two";`
`896`		`- // var valueToDelete := "Dos";`
`897`	`895`	`// Try to delete records with a condition expression with condition to`
`898`	`896`	`// delete records if the record has an attribute attributeToDelete with value expectedAttributeValue`
`899`	`897`	`for i := 0 to \|records\| {`