//-
// Copyright 2017, 2018 The proptest developers
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! Arbitrary implementations for `std::thread`.
use crate String;
use *;
use crate*;
use crate prob;
use crate static_map;
arbitrary!;
/*
* The usefulness of this impl is debatable - as are its semantics.
* Perhaps a CoArbitrary-based solution is preferable.
arbitrary!([A: 'static + Send + Arbitrary<'a>] JoinHandle<A>,
SMapped<'a, (A, Option<()>, u8), Self>, A::Parameters;
args => {
let prob = prob(0.1);
let args2 = product_pack![
args,
product_pack![prob, default()],
default()
];
any_with_smap(args2, |(val, panic, sleep)| thread::spawn(move || {
// Sleep a random amount:
use std::time::Duration;
thread::sleep(Duration::from_millis(sleep as u64));
// Randomly panic:
if panic.is_some() {
panic!("Arbitrary for JoinHandle randomly paniced!");
}
// Move value into thread and then just return it:
val
}))
}
);
*/