diff options
| author | Ralf Jung <post@ralfj.de> | 2023-11-30 14:29:54 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-11-30 14:29:54 +0100 |
| commit | cd124409335f8830becb7f7ec7de1c6aa8a504e3 (patch) | |
| tree | 9500da2a806a8fa2c229e97350fe90c02bcd5f1d | |
| parent | a0c8b09cf887ade10bcc5b2a06b32304af3cebbe (diff) | |
| download | rust-cd124409335f8830becb7f7ec7de1c6aa8a504e3.tar.gz rust-cd124409335f8830becb7f7ec7de1c6aa8a504e3.zip | |
give macOS some extra time, it needs that
| -rw-r--r-- | src/tools/miri/tests/pass/concurrency/sync.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/tests/pass/concurrency/sync.rs b/src/tools/miri/tests/pass/concurrency/sync.rs index dccc9d104dd..e93e617fd26 100644 --- a/src/tools/miri/tests/pass/concurrency/sync.rs +++ b/src/tools/miri/tests/pass/concurrency/sync.rs @@ -83,7 +83,7 @@ fn check_conditional_variables_timed_wait_notimeout() { cvar.notify_one(); }); - let (_guard, timeout) = cvar.wait_timeout(guard, Duration::from_millis(500)).unwrap(); + let (_guard, timeout) = cvar.wait_timeout(guard, Duration::from_millis(1000)).unwrap(); assert!(!timeout.timed_out()); handle.join().unwrap(); } |
