make 'invalidate' benchmark shorter

RalfJung · RalfJung · commit a6f362f47149 · 2024-03-17T14:30:03.000+01:00
diff --git a/src/tools/miri/bench-cargo-miri/invalidate/src/main.rs b/src/tools/miri/bench-cargo-miri/invalidate/src/main.rs
@@ -1,4 +1,4 @@
 fn main() {
     // The end of the range is just chosen to make the benchmark run for a few seconds.
-    for _ in 0..200_000 {}
+    for _ in 0..50_000 {}
 }

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`	`fn main() {`
`2`	`2`	`// The end of the range is just chosen to make the benchmark run for a few seconds.`
`3`		`- for _ in 0..200_000 {}`
	`3`	`+ for _ in 0..50_000 {}`
`4`	`4`	`}`