Update a MIRI fake-time test that this makes "faster"

scottmcm · scottmcm · commit 50e01f4d68bb · 2023-05-29T13:57:18.000-07:00
diff --git a/src/tools/miri/tests/pass/shims/time-with-isolation2.stdout b/src/tools/miri/tests/pass/shims/time-with-isolation2.stdout
@@ -1 +1 @@
-The loop took around 13s
+The loop took around 7s
