don't use #[miri_run] anymore, but execute the main function#23
Merged
solson merged 5 commits intorust-lang:masterfrom oli-obk:miri_run_no_moreJun 15, 2016
+134-250
#[miri_run] anymore, but execute the main function#23