3 Commits

Author	SHA1	Message	Date
Ralf Jung	5f2f254695	move tests that no longer need MIR out of fullmir	2018-07-12 10:22:23 +02:00
Oliver Schneider	a6cd7a2e08	Also move some compile-fail tests to fullmir-only	2017-06-21 15:07:40 +02:00
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00