5 Commits

Author	SHA1	Message	Date
Ralf Jung	3c1ab78196	review failing compile-fail tests	2019-07-23 23:25:06 +02:00
Ralf Jung	c094d42504	update miri-seed handling for run-pass test suite	2019-07-23 21:53:47 +02:00
Ralf Jung	44298d86f0	dont add the -Zmiri-seed flag twice	2019-07-03 10:47:25 +02:00
Ralf Jung	afe42625e5	test pointer string formatting	2019-06-28 20:42:00 +02:00
Christian Poveda	7fbf8e53a2	Fix alignment of base addresses	2019-06-26 09:08:28 -05:00