Contracts affect execution time

tautschnig · tautschnig · commit bad50a8a1906 · 2025-08-21T07:12:05.000Z
diff --git a/src/tools/miri/tests/pass/shims/time-with-isolation.rs b/src/tools/miri/tests/pass/shims/time-with-isolation.rs
@@ -27,7 +27,7 @@ fn test_time_passes() {
     // if `NANOSECONDS_PER_BASIC_BLOCK` changes. It may also need updating if the standard library
     // code that runs in the loop above changes.
     assert!(diff.as_millis() > 5);
-    assert!(diff.as_millis() < 20);
+    assert!(diff.as_millis() < 25);
 }
 
 fn test_block_for_one_second() {

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ fn test_time_passes() {`
`27`	`27`	// if `NANOSECONDS_PER_BASIC_BLOCK` changes. It may also need updating if the standard library
`28`	`28`	`// code that runs in the loop above changes.`
`29`	`29`	`assert!(diff.as_millis() > 5);`
`30`		`- assert!(diff.as_millis() < 20);`
	`30`	`+ assert!(diff.as_millis() < 25);`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`fn test_block_for_one_second() {`