From 50e01f4d68bba911e2e01ececbe5eca496ee3242 Mon Sep 17 00:00:00 2001 From: Scott McMurray Date: Mon, 29 May 2023 13:57:18 -0700 Subject: Update a MIRI fake-time test that this makes "faster" --- src/tools/miri/tests/pass/shims/time-with-isolation2.stdout | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/tests/pass/shims/time-with-isolation2.stdout b/src/tools/miri/tests/pass/shims/time-with-isolation2.stdout index 641e469f50c..c68b40b744b 100644 --- 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 -- cgit 1.4.1-3-g733a5