m

ajewellamz · ajewellamz · commit 14a43111cd21 · 2025-04-08T11:08:27.000-04:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbEncryptionBranchKeyIdSupplierTest.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbEncryptionBranchKeyIdSupplierTest.dfy
@@ -29,8 +29,8 @@ module DynamoDbEncryptionBranchKeyIdSupplierTest {
   const BRANCH_KEY_ID := "3f43a9af-08c5-4317-b694-3d3e883dcaef"
 
   const BRANCH_KEY_ID_UTF8 : UTF8.ValidUTF8Bytes :=
-    var s := [0x37, 0x35, 0x37, 0x38, 0x39, 0x31, 0x31, 0x35, 0x2d, 0x31, 0x64, 0x65, 0x62, 0x2d, 0x34, 0x66, 0x65, 0x33, 0x2d, 0x61, 0x32, 0x65, 0x63, 0x2d, 0x62, 0x65, 0x39, 0x65, 0x38, 0x38, 0x35, 0x64, 0x31, 0x39, 0x34, 0x35];
-    assert s == UTF8.EncodeAscii(BRANCH_KEY_ID);
+    var s := [0x33, 0x66, 0x34, 0x33, 0x61, 0x39, 0x61, 0x66, 0x2d, 0x30, 0x38, 0x63, 0x35, 0x2d, 0x34, 0x33, 0x31, 0x37, 0x2d, 0x62, 0x36, 0x39, 0x34, 0x2d, 0x33, 0x64, 0x33, 0x65, 0x38, 0x38, 0x33, 0x64, 0x63, 0x61, 0x65, 0x66];
+    assert s == UTF8.EncodeAscii("3f43a9af-08c5-4317-b694-3d3e883dcaef");
     s
 
   const ALTERNATE_BRANCH_KEY_ID := "4bb57643-07c1-419e-92ad-0df0df149d7c"

Original file line number	Diff line number	Diff line change
`@@ -29,8 +29,8 @@ module DynamoDbEncryptionBranchKeyIdSupplierTest {`
`29`	`29`	`const BRANCH_KEY_ID := "3f43a9af-08c5-4317-b694-3d3e883dcaef"`
`30`	`30`
`31`	`31`	`const BRANCH_KEY_ID_UTF8 : UTF8.ValidUTF8Bytes :=`
`32`		`- var s := [0x37, 0x35, 0x37, 0x38, 0x39, 0x31, 0x31, 0x35, 0x2d, 0x31, 0x64, 0x65, 0x62, 0x2d, 0x34, 0x66, 0x65, 0x33, 0x2d, 0x61, 0x32, 0x65, 0x63, 0x2d, 0x62, 0x65, 0x39, 0x65, 0x38, 0x38, 0x35, 0x64, 0x31, 0x39, 0x34, 0x35];`
`33`		`- assert s == UTF8.EncodeAscii(BRANCH_KEY_ID);`
	`32`	`+ var s := [0x33, 0x66, 0x34, 0x33, 0x61, 0x39, 0x61, 0x66, 0x2d, 0x30, 0x38, 0x63, 0x35, 0x2d, 0x34, 0x33, 0x31, 0x37, 0x2d, 0x62, 0x36, 0x39, 0x34, 0x2d, 0x33, 0x64, 0x33, 0x65, 0x38, 0x38, 0x33, 0x64, 0x63, 0x61, 0x65, 0x66];`
	`33`	`+ assert s == UTF8.EncodeAscii("3f43a9af-08c5-4317-b694-3d3e883dcaef");`
`34`	`34`	`s`
`35`	`35`
`36`	`36`	`const ALTERNATE_BRANCH_KEY_ID := "4bb57643-07c1-419e-92ad-0df0df149d7c"`