about summary refs log tree commit diff
diff options
context:
space:
mode:
authorThe 8472 <git@infinite-source.de>2024-03-14 00:57:59 +0100
committerThe 8472 <git@infinite-source.de>2024-03-14 00:57:59 +0100
commitd3cab9f4d6c778da99185a4548ef7f0899f04766 (patch)
treef9069a18aecd9bccfa6f7b3ef4f6d1aa6ee9a272
parentbe33586adc13444e7d08c4269344db2dce6c2a03 (diff)
downloadrust-d3cab9f4d6c778da99185a4548ef7f0899f04766.tar.gz
rust-d3cab9f4d6c778da99185a4548ef7f0899f04766.zip
update virtual clock in miri test since signed loops now execute more methods
-rw-r--r--src/tools/miri/tests/pass/shims/time-with-isolation2.stdout2
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 c68b40b744b..dce51a7fdbe 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 7s
+The loop took around 12s