more dealing with macOS being slow

RalfJung · RalfJung · commit ac9617cdd9bd · 2024-02-25T14:34:24.000+01:00
diff --git a/src/tools/miri/tests/pass/shims/time.rs b/src/tools/miri/tests/pass/shims/time.rs
@@ -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() {

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