8757d866ab
remove deprecated options These have been deprecated a month ago and nobody said they need them. Is that enough time? We can also let this PR sit a little. Cc https://github.com/rust-lang/miri/issues/2187 https://github.com/rust-lang/miri/issues/2188 (keeping them open to track removing their supporting infrastructure in the core interpreter) |
||
|---|---|---|
| .. | ||
| fail | ||
| panic | ||
| pass | ||
| compiletest.rs | ||