We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a67fa85 commit b833d37Copy full SHA for b833d37
src/bin/miri.rs
@@ -95,8 +95,8 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
95
which is to completely disable them. Any optimizations may hide UB that Miri would \
96
otherwise detect, and it is not necessarily possible to predict what kind of UB will \
97
be missed. If you are enabling optimizations to make Miri run faster, we advise using \
98
- cfg(miri) to shrink your workload instead. The impact of enabling MIR optimizations is \
99
- usually marginal at best.");
+ cfg(miri) to shrink your workload instead. The performance benefit of enabling MIR \
+ optimizations is usually marginal at best.");
100
}
101
102
if let Some(return_code) = miri::eval_entry(tcx, entry_def_id, entry_type, config) {
0 commit comments