Skip to content

Commit b09ae31

Browse files
committed
Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung
Cleanup after rustc bootstrap tests Miri with a separate libstd Should only be merged after rust-lang/rust#63162 got the green light.
2 parents 7143ccc + bff6b05 commit b09ae31

File tree

5 files changed

+1
-9
lines changed

5 files changed

+1
-9
lines changed

README.md

+1-2
Original file line numberDiff line numberDiff line change
@@ -283,8 +283,7 @@ The setup for a local rustc works as follows:
283283
git clone https://github.com/rust-lang/rust/ rustc
284284
cd rustc
285285
cp config.toml.example config.toml
286-
# Now edit `config.toml` and set `debug-assertions = true` and `test-miri = true`.
287-
# The latter is important to build libstd with the right flags for miri.
286+
# Now edit `config.toml` and set `debug-assertions = true`.
288287
# This step can take 30 minutes and more.
289288
./x.py build src/rustc
290289
# If you change something, you can get a faster rebuild by doing
File renamed without changes.

tests/compiletest.rs

-7
Original file line numberDiff line numberDiff line change
@@ -113,13 +113,6 @@ fn run_pass_miri(opt: bool) {
113113

114114
fn compile_fail_miri(opt: bool) {
115115
compile_fail("tests/compile-fail", &get_target(), opt);
116-
if rustc_test_suite().is_none() {
117-
// FIXME: Some tests disabled in rustc test suite because
118-
// they run with a debug-assertion libstd which changes the errors.
119-
// We should build our own libstd for testing, see
120-
// <https://github.com/rust-lang/rust/issues/61833>.
121-
compile_fail("tests/compile-fail-norustc", &get_target(), opt);
122-
}
123116
}
124117

125118
fn test_runner(_tests: &[&()]) {

0 commit comments

Comments
 (0)