From cacbf8535c3ea0ab5e057d48f06eef1e680ac732 Mon Sep 17 00:00:00 2001
From: David Niehues <niehues@utilacy.de>
Date: Thu, 12 Dec 2024 15:42:56 +0100
Subject: [PATCH] add eqality test for the shk in the DummyKem

---
 cipher-traits/src/kem.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cipher-traits/src/kem.rs b/cipher-traits/src/kem.rs
index 7e97168..d5391f4 100644
--- a/cipher-traits/src/kem.rs
+++ b/cipher-traits/src/kem.rs
@@ -122,6 +122,8 @@
 //! #
 //! # let mut alice_shk: Secret<{ MyKem::SHK_LEN }> = Secret::zero();
 //! # MyKem::decaps(alice_shk.secret_mut(), alice_sk.secret_mut(), &mut bob_ct)?;
+//! #
+//! # assert_eq!(alice_shk.secret(), bob_shk.secret());
 //! # Ok(())
 //! # }
 //!```