Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #3387 - RalfJung:bench, r=RalfJung
make 'invalidate' benchmark shorter This is currently by far the slowest benchmark in our suite, taking >9s, when the second slowest takes 2.7s. So let's speed this up to 2.3s, making it still the second-slowest in the benchmark suite. `@saethlin` any objections? Also, why is this called "invalidate"? It got added in #3083 but I can't figure out the point of that name even after looking at the PR.^^ There should be a comment in the benchmark explaining what it is testing.
- Loading branch information