Update TestVectors/dafny/DDBEncryption/src/EncryptManifest.dfy

ajewellamz · josecorella · web-flow · commit c28c9e83bda3 · 2024-04-25T17:39:15.000-04:00
Co-authored-by: José Corella &lt;39066999+josecorella@users.noreply.github.com&gt;
diff --git a/TestVectors/dafny/DDBEncryption/src/EncryptManifest.dfy b/TestVectors/dafny/DDBEncryption/src/EncryptManifest.dfy
@@ -132,7 +132,6 @@ module {:options "-functionSyntax:4"} EncryptManifest {
   method Encrypt(inFile : string, outFile : string, lang : string, version : string) returns (output : Result<bool, string>)
   {
     print "Encrypt : ", inFile, "\n";
-
     var configBv :- expect FileIO.ReadBytesFromFile(inFile);
     var configBytes := BvToBytes(configBv);
     var json :- expect API.Deserialize(configBytes);

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,6 @@ module {:options "-functionSyntax:4"} EncryptManifest {`
`132`	`132`	`method Encrypt(inFile : string, outFile : string, lang : string, version : string) returns (output : Result<bool, string>)`
`133`	`133`	`{`
`134`	`134`	`print "Encrypt : ", inFile, "\n";`
`135`		`-`
`136`	`135`	`var configBv :- expect FileIO.ReadBytesFromFile(inFile);`
`137`	`136`	`var configBytes := BvToBytes(configBv);`
`138`	`137`	`var json :- expect API.Deserialize(configBytes);`