Revert "Contracts affect execution time"

tautschnig · tautschnig · commit 8c0b2926c9bf · 2025-10-29T11:50:51.000Z
This reverts commit 9aacd383556111bb14229f3e4d144bd598b60738.
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() < 25);
+    assert!(diff.as_millis() < 20);
 }
 
 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() < 25);`
	`30`	`+ assert!(diff.as_millis() < 20);`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`fn test_block_for_one_second() {`