dicetest 0.4.0

Framework for writing tests with randomly generated test data
Documentation 
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
37
38
39
40
41
42
43
44

/// Converts the [`u32`] to bytes using little endian.
///
/// This function is a left and right inverse for [`bytes_to_u64`].
pub fn u64_to_bytes(u64: u64) -> [u8; 8] {
    u64.to_le_bytes()
}

/// Converts the bytes to an [`u64`] using little endian.
///
/// This function is a left and right inverse for [`u64_to_bytes`].
pub fn bytes_to_u64(bytes: [u8; 8]) -> u64 {
    u64::from_le_bytes(bytes)
}

#[cfg(test)]
mod tests {
    use crate::asserts;
    use crate::prelude::*;
    use crate::util::conversion;

    #[test]
    fn bytes_to_u64_is_left_inverse() {
        Dicetest::repeatedly().run(|fate| {
            asserts::left_inverse(
                fate,
                dice::array(dice::u8(..)),
                conversion::bytes_to_u64,
                conversion::u64_to_bytes,
            )
        })
    }

    #[test]
    fn u64_to_bytes_is_left_inverse() {
        Dicetest::repeatedly().run(|fate| {
            asserts::left_inverse(
                fate,
                dice::u64(..),
                conversion::u64_to_bytes,
                conversion::bytes_to_u64,
            )
        })
    }
}