8 Commits

Author	SHA1	Message	Date
Ralf Jung	d410b13139	fix compile-fail ref files	2019-04-21 13:18:05 +02:00
Ralf Jung	0b8809bf5f	port some tests to check the new error format	2018-07-15 12:00:02 +02:00
Ralf Jung	30185d09f6	make sure we show error messages even when we cannot show span	2018-07-15 11:40:57 +02:00
bjorn3	8ae66db798	Convert some of the tests to the new format	2018-06-05 18:08:18 +02:00
Ralf Jung	8539728607	memory: make sure we check non-NULL/undef even fore 0-sized accesses	2017-08-25 14:41:59 +02:00
Oliver Schneider	fcf495821e	Get rid of the integer allocation	2017-06-20 14:28:18 +02:00
Oliver Schneider	38748fa615	refactor away IntegerPtr	2016-09-22 15:47:16 +02:00
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00