5 commits

Author	SHA1	Message	Date
Oliver Schneider	21e924975d	only split the Fn* arguments in case of closures and function pointers	2016-09-21 15:57:13 +02:00
Oliver Schneider	562c64d86a	add some sanity tests	2016-09-15 16:32:30 +02:00
Oliver Schneider	e90ee1674a	fix comparing of function pointers	2016-06-20 10:35:15 +02:00
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00
Oliver Schneider	384623daa7	function pointers	2016-06-10 18:06:36 +02:00