4 Commits

Author	SHA1	Message	Date
Oliver Schneider	02a0f0f814	Turn off validation for some compile-fail tests	2017-08-28 15:04:32 +02:00
Ralf Jung	907d2c7310	rustc #43457 got fixed, we can enable more tests	2017-08-27 18:18:32 +02:00
Ralf Jung	58a17026c9	Let -Zmir-emit-validate also control whether miri even acts on the validation commands	2017-08-03 18:13:23 -07:00
Oliver Schneider	fb2d393427	update tests	2017-02-09 10:59:42 +01:00