5 Commits

Author	SHA1	Message	Date
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00
Oliver Schneider	3aa585e421	Merge remote-tracking branch 'origin/master' into function_pointers2	2016-06-13 11:24:01 +02:00
Oliver Schneider	ef5fc75c35	various testing improvements	2016-04-22 20:09:00 +02:00
Oliver Schneider	211c12a1d0	use compiletest_rs	2016-04-22 10:34:14 +02:00
Pascal Hertleif	f6f393996b	Add Compile Test	2016-04-14 14:54:59 +02:00