quint-connect 0.1.0

A model-based testing framework that connects Quint specifications with Rust applications
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use rand::Rng;

const ENV_SEED: Option<&str> = option_env!("QUINT_SEED");

#[doc(hidden)] // public for macro use
pub fn gen_random_seed() -> String {
    ENV_SEED.map(str::to_string).unwrap_or_else(|| {
        let seed = rand::rng().random::<u32>();
        format!("0x{:x}", seed)
    })
}