m

ajewellamz · ajewellamz · commit 4a59b7336796 · 2025-03-22T09:44:08.000-04:00
diff --git a/TestVectors/dafny/DDBEncryption/src/Index.dfy b/TestVectors/dafny/DDBEncryption/src/Index.dfy
@@ -31,7 +31,7 @@ module WrappedDDBEncryptionMain {
       print "Failed to open ", file, " continuing anyway.\n";
       return Success(MakeEmptyTestVector());
     }
-    var json :- expect API.Deserialize(configBytes);
+    var json :- expect API.Deserialize(configBytes.value);
     output := ParseTestVector(json, prev, keyVectors);
     if output.Failure? {
       print output.error, "\n";

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ module WrappedDDBEncryptionMain {`
`31`	`31`	`print "Failed to open ", file, " continuing anyway.\n";`
`32`	`32`	`return Success(MakeEmptyTestVector());`
`33`	`33`	`}`
`34`		`- var json :- expect API.Deserialize(configBytes);`
	`34`	`+ var json :- expect API.Deserialize(configBytes.value);`
`35`	`35`	`output := ParseTestVector(json, prev, keyVectors);`
`36`	`36`	`if output.Failure? {`
`37`	`37`	`print output.error, "\n";`