aead

commit de6534d42a9a8c60901a0dc0a310257a5d1e4be7
parent 38441c6039290c9b24c99766e7747bf6ac2d7eb7
Author: Jared Tobin <jared@jtobin.io>
Date:   Tue, 11 Mar 2025 10:30:19 +0400

test: add additional assertions

Just for completeness.

Diffstat:
M
test/Main.hs
 | 
7
+++++--

1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/test/Main.hs b/test/Main.hs
@@ -124,8 +124,11 @@ execute W.AEADTest {..} = H.testCase t_msg $ do
         Right Nothing  -> H.assertBool "invalid (bogus MAC)" True
         Right (Just o) -> H.assertBool "invalid" (msg /= o)
     else do
-      let out = AEAD.decrypt aad key iv (ct, tag)
-      H.assertEqual mempty (Just msg) out
+      let (out_cip, out_mac) = AEAD.encrypt aad key iv msg
+          out_pan = AEAD.decrypt aad key iv (ct, tag)
+      H.assertEqual mempty ct out_cip
+      H.assertEqual mempty tag out_mac
+      H.assertEqual mempty (Just msg) out_pan
   where
     t_msg = "test " <> show aeadt_tcId