m

ajewellamz · ajewellamz · commit d9c5bfee2927 · 2025-08-21T11:17:26.000-04:00
diff --git a/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy b/TestVectors/dafny/DDBEncryption/src/TestVectors.dfy
@@ -767,7 +767,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       print "BucketTest4 Wrote";
       TestBucketQueries(rClient, 2, GetCompQuery2671(), "comp query 2671");
       print "BucketTest4 Did One";
-  
+
       // TestBucketScan(rClient, GetBucketScan6(0,1,2,3,4,5));
       TestBucketScan(rClient, GetBucketScan6(5,4,3,2,1,0));
     }

Original file line number	Diff line number	Diff line change
`@@ -767,7 +767,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {`
`767`	`767`	`print "BucketTest4 Wrote";`
`768`	`768`	`TestBucketQueries(rClient, 2, GetCompQuery2671(), "comp query 2671");`
`769`	`769`	`print "BucketTest4 Did One";`
`770`		`-`
	`770`	`+`
`771`	`771`	`// TestBucketScan(rClient, GetBucketScan6(0,1,2,3,4,5));`
`772`	`772`	`TestBucketScan(rClient, GetBucketScan6(5,4,3,2,1,0));`
`773`	`773`	`}`