3 commits

Author	SHA1	Message	Date
Oliver Schneider	8b81f5430f	Fix running the rustc test suite	2017-08-01 16:12:29 +02:00
Oliver Schneider	11e30a65e6	Split up miri into the librustc_mir and bin parts	2017-08-01 09:56:21 +02:00
Oliver Schneider	101e5a8ba0	Move rustc tests from tests to a binary, since they are only run manually anyway	2017-07-20 13:11:40 +02:00