1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

#[derive(Copy, Clone, Debug, Default, PartialEq, Eq)]
#[cfg_attr(test, derive(proptest_derive::Arbitrary))]
pub struct ModelData {
    pub model: u8,
    pub version: u8,
    pub features: u8,
}

impl ModelData {
    pub const fn to_bytes(self) -> [u8; 3] {
        [self.model, self.version, self.features]
    }

    pub const fn from_bytes(bytes: [u8; 3]) -> Self {
        Self {
            model: bytes[0],
            version: bytes[1],
            features: bytes[2],
        }
    }
}

#[cfg(test)]
mod test {
    use crate::model_data::ModelData;
    use proptest::prelude::*;

    proptest! {
        #[test]
        fn model_data_from_to_bytes_roundtrip(model_data in any::<ModelData>()) {
            let bytes = model_data.to_bytes();
            let decoded = ModelData::from_bytes(bytes);
            assert_eq!(model_data, decoded);
        }
    }
}