diff options
| author | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-05-29 13:57:18 -0700 |
|---|---|---|
| committer | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-05-29 13:57:18 -0700 |
| commit | 50e01f4d68bba911e2e01ececbe5eca496ee3242 (patch) | |
| tree | 01d7f6fc809ccb78f2405c66369768aa017c6185 | |
| parent | 11fa1764ee4819aa674ca861c5e9a8fafd7a59e6 (diff) | |
| download | rust-50e01f4d68bba911e2e01ececbe5eca496ee3242.tar.gz rust-50e01f4d68bba911e2e01ececbe5eca496ee3242.zip | |
Update a MIRI fake-time test that this makes "faster"
| -rw-r--r-- | src/tools/miri/tests/pass/shims/time-with-isolation2.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
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 |