diff options
| -rw-r--r-- | src/tools/miri/bench-cargo-miri/range-iteration/Cargo.lock (renamed from src/tools/miri/bench-cargo-miri/invalidate/Cargo.lock) | 2 | ||||
| -rw-r--r-- | src/tools/miri/bench-cargo-miri/range-iteration/Cargo.toml (renamed from src/tools/miri/bench-cargo-miri/invalidate/Cargo.toml) | 2 | ||||
| -rw-r--r-- | src/tools/miri/bench-cargo-miri/range-iteration/src/main.rs (renamed from src/tools/miri/bench-cargo-miri/invalidate/src/main.rs) | 3 |
3 files changed, 4 insertions, 3 deletions
diff --git a/src/tools/miri/bench-cargo-miri/invalidate/Cargo.lock b/src/tools/miri/bench-cargo-miri/range-iteration/Cargo.lock index 7bf23225ea5..2a5f8f32254 100644 --- a/src/tools/miri/bench-cargo-miri/invalidate/Cargo.lock +++ b/src/tools/miri/bench-cargo-miri/range-iteration/Cargo.lock @@ -3,5 +3,5 @@ version = 3 [[package]] -name = "invalidate" +name = "range-iteration" version = "0.1.0" diff --git a/src/tools/miri/bench-cargo-miri/invalidate/Cargo.toml b/src/tools/miri/bench-cargo-miri/range-iteration/Cargo.toml index 14cf0882f0b..3f0146f6259 100644 --- a/src/tools/miri/bench-cargo-miri/invalidate/Cargo.toml +++ b/src/tools/miri/bench-cargo-miri/range-iteration/Cargo.toml @@ -1,5 +1,5 @@ [package] -name = "invalidate" +name = "range-iteration" version = "0.1.0" edition = "2021" diff --git a/src/tools/miri/bench-cargo-miri/invalidate/src/main.rs b/src/tools/miri/bench-cargo-miri/range-iteration/src/main.rs index fa8deb851c3..1ef35ee6b3c 100644 --- a/src/tools/miri/bench-cargo-miri/invalidate/src/main.rs +++ b/src/tools/miri/bench-cargo-miri/range-iteration/src/main.rs @@ -1,4 +1,5 @@ +//! This generates a lot of work for the AllocId part of the GC. 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 {} } |