use proptest::test_runner::{Config, RngAlgorithm, TestRng, TestRunner};
pub fn deterministic_runner(cases: u32) -> TestRunner {
const SEED: [u8; 32] = [
0x67, 0x65, 0x6d, 0x61, 0x74, 0x68, 0x2d, 0x70,
0x72, 0x6f, 0x70, 0x74, 0x65, 0x73, 0x74, 0x2d,
0x73, 0x65, 0x65, 0x64, 0x2d, 0x76, 0x31, 0x00,
0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88,
];
let rng = TestRng::from_seed(RngAlgorithm::ChaCha, &SEED);
let mut cfg = Config::default();
cfg.cases = cases;
TestRunner::new_with_rng(cfg, rng)
}