use strafe_testing::{proptest::prelude::*, proptest_ext::strafe_default_proptest_options};
use super::tests::*;
proptest! {
#![proptest_config(ProptestConfig {
..strafe_default_proptest_options()
})]
#[test]
fn mersenne_twister_rng(
seed in prop::num::u16::ANY,
) {
mersenne_twister_rng_inner(seed);
}
#[test]
fn lecuyer_cmrg_rng(
seed in prop::num::u16::ANY,
) {
lecuyer_cmrg_rng_inner(seed);
}
#[test]
fn marsagllia_multicarry_rng(
seed in prop::num::u16::ANY,
) {
marsagllia_multicarry_rng_inner(seed);
}
#[test]
fn super_duper_rng(
seed in prop::num::u16::ANY,
) {
super_duper_rng_inner(seed);
}
#[test]
fn wichmann_hill_rng(
seed in prop::num::u16::ANY,
) {
wichmann_hill_rng_inner(seed);
}
}