proptest encode

Author: youknowone

libs/braillify/src/lib.rs

@@ -361,6 +361,7 @@ mod test {
     use std::{collections::HashMap, fs::File};
 
     use crate::unicode::encode_unicode;
+    use proptest::prelude::*;
 
     use super::*;
     #[test]
@@ -684,4 +685,30 @@ mod test {
             );
         }
     }
+
+    proptest! {
+        #[test]
+        fn test_encode_proptest(s: String) {
+            let result = encode(&s);
+            let _encoded = match result {
+                Ok(encoded) => {
+                    assert!(!encoded.is_empty() || s.is_empty());
+
+                    let unicode_result = encode_to_unicode(&s);
+                    assert!(unicode_result.is_ok());
+
+                    let unicode_string = unicode_result.unwrap();
+                    assert!(!unicode_string.is_empty() || s.is_empty());
+
+                    encoded
+                }
+                Err(_) => {
+                    return Ok(()); // ok
+                }
+            };
+
+            // let decoded = decode(&encoded);
+            // assert_eq!(s, decoded, "Decoded string does not match original input: {}", s);            
+        }
+    }
 }