user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #3321 - RalfJung:macos-time, r=RalfJung

Browse source 
more dealing with macOS CI runners being slow

500ms seems to still sometimes not enough... so let's double it...
This commit is contained in:
bors 2024-02-25 13:36:15 +00:00
commit 8d74063672
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/tests/pass/shims/time.rs
View file

@ -5,7 +5,7 @@ use std::time::{Duration, Instant, SystemTime};
fn duration_sanity(diff: Duration) {
// On my laptop, I observed times around 15-40ms. Add 10x lee-way both ways.
assert!(diff.as_millis() > 1);
assert!(diff.as_millis() < 500);
assert!(diff.as_millis() < 1000); // macOS is very slow sometimes
}
fn test_sleep() {