diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-15 08:09:31 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-15 08:09:31 +0100 |
| commit | 0d811d7f3aceb2c23536851c7f5ed8abdc077a67 (patch) | |
| tree | 8019eff9ff3c848b3217f27c2ca11451db7bda80 /src/tools/miri/tests | |
| parent | 3cc4059a6e8a6aebcd020b0d3a0e2eb33d926c2c (diff) | |
| parent | ee03c286cfdca26fa5b2a4ee40957625d2c826ff (diff) | |
| download | rust-0d811d7f3aceb2c23536851c7f5ed8abdc077a67.tar.gz rust-0d811d7f3aceb2c23536851c7f5ed8abdc077a67.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/miri/tests')
| -rw-r--r-- | src/tools/miri/tests/pass/shims/time-with-isolation.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/tests/pass/shims/time-with-isolation.stdout b/src/tools/miri/tests/pass/shims/time-with-isolation.stdout index f3d071e001e..ff5889bacd5 100644 --- a/src/tools/miri/tests/pass/shims/time-with-isolation.stdout +++ b/src/tools/miri/tests/pass/shims/time-with-isolation.stdout @@ -1,2 +1,2 @@ -The loop took around 7s +The loop took around 12s (It's fine for this number to change when you `--bless` this test.) |