#![cfg(feature = "arbitrary")]
use arbitrary::{Arbitrary, Unstructured};
use lean_string::{LeanStr, LeanString};
#[test]
fn arbitrary_sanity() {
let mut data = Unstructured::new(&[42; 50]);
let lean_string = LeanString::arbitrary(&mut data).expect("generate a LeanString");
let mut data = Unstructured::new(&[42; 50]);
let lean_str = LeanStr::arbitrary(&mut data).expect("generate a LeanStr");
assert!(!lean_string.is_empty());
assert!(!lean_str.is_empty());
}
#[test]
fn arbitrary_inlines_strings() {
let mut data = Unstructured::new(&[42; 8]);
let lean_string = LeanString::arbitrary(&mut data).expect("generate a LeanString");
let mut data = Unstructured::new(&[42; 8]);
let lean_str = LeanStr::arbitrary(&mut data).expect("generate a LeanStr");
assert!(!lean_string.is_heap_allocated());
assert!(!lean_str.is_heap_allocated());
}