blob: c94f63a54274a481a51a8fa46ea8f4972b398e61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
//@compile-flags: -Zmiri-ignore-leaks -Zmiri-disable-isolation
use std::sync::{Arc, Mutex};
use std::thread;
use std::time::Duration;
fn main() {
let finished = Arc::new(Mutex::new(false));
let t_finished = finished.clone();
thread::spawn(move || {
// Sleep very, very long.
thread::sleep(Duration::new(u64::MAX, 0));
*t_finished.lock().unwrap() = true;
});
thread::sleep(Duration::from_millis(100));
assert_eq!(*finished.lock().unwrap(), false);
// Stopping the main thread will also kill the sleeper.
}
|
