From 96fbeb583bcd7a2ab230198c8f8e2b668d5c979b Mon Sep 17 00:00:00 2001
From: Dmitry Bogatov <KAction@debian.org>
Date: Mon, 23 Sep 2019 19:46:18 +0000
Subject: [PATCH] Add proptest to check dc_header_{encode,decode}

---
 src/dc_strencode.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/dc_strencode.rs b/src/dc_strencode.rs
index 11f96c3a4..9bb65c56a 100644
--- a/src/dc_strencode.rs
+++ b/src/dc_strencode.rs
@@ -383,5 +383,13 @@ mod tests {
             // make sure this never panics
             let _decoded = dc_decode_ext_header(&buf);
         }
+
+        #[test]
+        fn test_dc_header_roundtrip(input: String) {
+            let encoded = unsafe { dc_encode_header_words(&input) };
+            let decoded = dc_decode_header_words_safe(&encoded);
+
+            assert_eq!(input, decoded);
+        }
     }
 }