| //@revisions: with_isolation without_isolation | |
| //@[without_isolation] compile-flags: -Zmiri-disable-isolation | |
| fn getpid() -> u32 { | |
| std::process::id() | |
| } | |
| fn main() { | |
| let pid = getpid(); | |
| std::thread::spawn(move || { | |
| assert_eq!(getpid(), pid); | |
| }); | |
| // Test that in isolation mode a deterministic value will be returned. | |
| // The value 1000 is not important, we only care that whatever the value | |
| // is, won't change from execution to execution. | |
| #[cfg(with_isolation)] | |
| assert_eq!(pid, 1000); | |
| } |