merc_utilities 2.0.0

Internal MERC crate containing various utility functions.
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

#[cfg(kani)]
use rand::TryRng;

#[cfg(kani)]
use crate::random_lts;

/// A simple wrapper around `kani::any` to implement the `TryRng` trait, which
/// is required by the random LTS generation functions.
#[cfg(kani)]
struct ArbRng {}

#[cfg(kani)]
impl TryRng for ArbRng {
    type Error = std::convert::Infallible;

    fn try_next_u32(&mut self) -> Result<u32, Self::Error> {
        Ok(kani::any())
    }

    fn try_next_u64(&mut self) -> Result<u64, Self::Error> {
        Ok(kani::any())
    }

    fn try_fill_bytes(&mut self, dst: &mut [u8]) -> Result<(), Self::Error> {
        for byte in dst {
            *byte = kani::any();
        }

        Ok(())
    }
}