m

lucasmcdonald3 · lucasmcdonald3 · commit 75325b000bfc · 2025-01-17T14:38:28.000-08:00
diff --git a/TestVectors/dafny/DDBEncryption/src/Index.dfy b/TestVectors/dafny/DDBEncryption/src/Index.dfy
@@ -36,13 +36,13 @@ module WrappedDDBEncryptionMain {
     }
   }
 
-  method ASDF() 
+  method ASDF()
   {
     // KeyVectors client passed to every test.
     // All test vectors currently use the same keys manifest, located at DEFAULT_KEYS.
     // All test vectors can share this same KeyVectors client.
 
-    // To use a different keys manifest, create a new KeyVectors client. 
+    // To use a different keys manifest, create a new KeyVectors client.
     // If you need to create a new KeyVectors client, create it as infrequently as possible.
     // Creating this client frequently means JSON is parsed frequently.
     // Parsing JSON is very slow in Python. Parse JSON as infrequently as possible.

Original file line number	Diff line number	Diff line change
`@@ -36,13 +36,13 @@ module WrappedDDBEncryptionMain {`
`36`	`36`	`}`
`37`	`37`	`}`
`38`	`38`
`39`		`- method ASDF()`
	`39`	`+ method ASDF()`
`40`	`40`	`{`
`41`	`41`	`// KeyVectors client passed to every test.`
`42`	`42`	`// All test vectors currently use the same keys manifest, located at DEFAULT_KEYS.`
`43`	`43`	`// All test vectors can share this same KeyVectors client.`
`44`	`44`
`45`		`- // To use a different keys manifest, create a new KeyVectors client.`
	`45`	`+ // To use a different keys manifest, create a new KeyVectors client.`
`46`	`46`	`// If you need to create a new KeyVectors client, create it as infrequently as possible.`
`47`	`47`	`// Creating this client frequently means JSON is parsed frequently.`
`48`	`48`	`// Parsing JSON is very slow in Python. Parse JSON as infrequently as possible.`