#![allow(missing_docs)]
use bitx::bits;
use proptest::prelude::*;
bits! {
pub struct FuzzHeader: 4.0 {
0.0 pub flag: u1,
0.1 pub status: u3,
0.4 pub unaligned_cross: u12, 2 pub tail: u16,
}
}
proptest! {
#[test]
fn fuzz_struct_reads(bytes in any::<[u8; 4]>()) {
let header = FuzzHeader::from_array(bytes);
assert!(FuzzHeader::from_slice(&bytes).is_some());
let _flag = header.flag();
let status = header.status();
let unaligned = header.unaligned_cross();
assert!(status <= 7); assert!(unaligned <= 4095); }
}