test: add property tests

Author: robjtede

Cargo.lock

@@ -20,6 +20,7 @@ arbitrary = { version = "1", features = ["derive"], optional = true }
 serde = { version = "1", optional = true }
 
 [dev-dependencies]
+quickcheck = "1"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 toml = "0.8"

Cargo.toml

@@ -335,6 +335,32 @@ where
     }
 }
 
+#[cfg(test)]
+mod property_tests {
+    use super::*;
+
+    impl quickcheck::Arbitrary for ByteSize {
+        fn arbitrary(g: &mut quickcheck::Gen) -> Self {
+            Self(u64::arbitrary(g))
+        }
+    }
+
+    quickcheck::quickcheck! {
+        fn to_string_never_blank(size: ByteSize) -> bool {
+            !size.to_string().is_empty()
+        }
+
+        fn to_string_never_large(size: ByteSize) -> bool {
+            size.to_string().len() < 10
+        }
+
+        // // currently fails on input like "14.0 EiB"
+        // fn string_round_trip(size: ByteSize) -> bool {
+        //     size.to_string().parse::<ByteSize>().unwrap() == size
+        // }
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;