m

lucasmcdonald3 · lucasmcdonald3 · commit 822e30e4470d · 2025-02-17T13:10:29.000-08:00
diff --git a/TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/internaldafny/extern/wrapped_esdk.py b/TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/internaldafny/extern/wrapped_esdk.py
@@ -72,7 +72,7 @@ def Encrypt(self, dafny_encrypt_input):
                 )
 
             native_esdk_ciphertext, native_esdk_header = (
-                self.native_esdk.encrypt(**native_encrypt_input)
+                self.native_esdk.encrypt(**native_esdk_input)
             )
 
             # if native_encrypt_input.algorithm_suite_id is None:

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ def Encrypt(self, dafny_encrypt_input):`
`72`	`72`	`)`
`73`	`73`
`74`	`74`	`native_esdk_ciphertext, native_esdk_header = (`
`75`		`- self.native_esdk.encrypt(**native_encrypt_input)`
	`75`	`+ self.native_esdk.encrypt(**native_esdk_input)`
`76`	`76`	`)`
`77`	`77`
`78`	`78`	`# if native_encrypt_input.algorithm_suite_id is None:`