Update src/bin/miri-rustc-tests.rs

Co-Authored-By: RalfJung <post@ralfj.de>

fix for rustc change

bump Rust; remove stabilized feature

Merge pull request #659 from rust-lang/update

Use the new rustc interface

Silence some warnings

Update bencher API

Remove dead code and docs

Make the rustc test runner build again

bump Rust

Reintroduce prepending the input file name to the miri arguments

Use the new rustc interface

Merge pull request #660 from rust-lang/readme

README: mention --exclude-should-panic

mention --exclude-should-panic

Merge pull request #657 from RalfJung/readme

expand README

README

Merge pull request #647 from spastorino/place_base

Place::Local(x) is now Place::Base(PlaceBase::Local(x))

bump Rust version

Place::Local(x) is now Place::Base(PlaceBase::Local(x))

Merge pull request #650 from RalfJung/compiletest

the stable part of compiletest_rs is enough

the stable part of compiletest_rs is enough

Merge pull request #648 from RalfJung/avoid-full-slice

avoid [..]

avoid [..]

Merge pull request #635 from alexreg/cosmetic-2

Various cosmetic improvements

Fixed nits raised in review.

Various cosmetic improvements.

Removed copyright notices.

Merge pull request #646 from rchaser53/issue-58645

use copy_op directly insteadof write_scalar

use copy_op directly insteadof write_scalar

- fix volatile_store logic
- rename test to be able to read back from later
- expand test to use assert_eq! and confirm to fix volatile_store
- expand test to use assert_eq! and confirm normal load

Merge pull request #645 from RalfJung/box-alloc

test using the Global allocator trait to alloc/free a Box

test using the Global allocator trait to alloc/free a Box

Merge pull request #644 from matthewjasper/no-two-phase-matches

Remove test of two-phase borrows in match

Merge branch 'master' into no-two-phase-matches

Merge pull request #631 from RalfJung/btree

test BTree a bit more

bump Rust

Merge remote-tracking branch 'origin/master' into btree

Remove test of two-phase borrows in match

Merge pull request #642 from taiki-e/update-links

Update some links

Update some links

test BTree a bit more

Merge pull request #637 from RalfJung/profile

we can't have profiles because we are also in the rustc worksapce

we can't have profiles because we are also in the rustc worksapce

Merge pull request #634 from RalfJung/trophy-case

List some bugs that we found

link to bug list from intro

collect some bugs that we found

test VecDeque debug printing

Merge pull request #623 from RalfJung/fat-ptr-eq

Fix comparing fat pointers

fix async-fn test

update Rust

typo and comments

actually they should be equal

Fix comparing fat pointers

update for new bin_op APIs

Merge pull request #611 from RalfJung/str-index-mut

test mutable string slice indexing

bump Rust

Merge remote-tracking branch 'origin/master' into str-index-mut

Merge pull request #632 from RalfJung/memalign

implement and test posix_memalign

ignore overaligned tests on Windows (because, of course, Windows' API is broken here)

implement and test posix_memalign

Merge pull request #630 from RalfJung/rust-src

skip installing rust-src if XARGO_RUST_SRC is set

skip installing rust-src if XARGO_RUST_SRC is set

Merge pull request #626 from RalfJung/format-padding

test padding in format strings

fix ptr comparison test

update Rust

Merge branch 'master' into format-padding

Merge pull request #629 from RalfJung/rename

Rename things away from 'Shr'

rename things away from 'Shr' that are used for much more than just shared references

be more clear which stack we are talking about

Merge pull request #627 from RalfJung/appveyor

TIL that you can also use .appveyor.yml

Merge branch 'master' into appveyor

TIL that you can also use .appveyor.yml

Merge pull request #624 from RalfJung/args

implement passing arguments to the interpreted program

explain arument passing in the docs

also enable passing arguments through from cargo-miri

also pass actual arguments to Windows

fix build

implement passing arguments to the interpreted program

test padding in format strings

Merge pull request #625 from RalfJung/likely

fix (un)likely intrinsics

fix (un)likely intrinsics

Merge pull request #621 from RalfJung/bash

make bash more strict

Merge branch 'master' into bash

Merge pull request #620 from RalfJung/stderr-flush

we don't need to flush stderr

make bash more strict

we don't need to flush stderr

Merge pull request #619 from RalfJung/stderr-flush

flush stdout/stderr to make sure it appears on the screen

flush stdout/stderr to make sure it appears on the screen

Merge pull request #618 from RalfJung/cargo-miri

Fix cargo miri test on lib crates

Fix cargo miri test on lib crates

Merge pull request #617 from RalfJung/cargo-miri

update docs

update docs

Merge pull request #616 from RalfJung/cargo-miri

Fix cargo miri on unit tests, refactor it a bit, set rust flag instead of feature flag

update test for cargo-miri

cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests

make release builds have debug info

Merge pull request #610 from RalfJung/panic

Support panic_impl and atomic_nand

test mutable string slice indexing

panic_impl is another way to panic

implement atomic_nand

Merge pull request #609 from RalfJung/readme

update development instructions in README

explain how to run cargo miri with a locally compiled rustc