4 Commits

Author	SHA1	Message	Date
Christian Poveda	8dfb278ac5	Fix explicit cast test	2019-07-03 15:59:32 -05:00
Christian Poveda	074e20eb7b	Add intptrcast test for explicit casts	2019-07-03 13:38:39 -05:00
Ralf Jung	8ec25066e7	make a test noseed for now that does not work with intptrcast yet	2019-07-03 10:47:28 +02:00
Ralf Jung	44298d86f0	dont add the -Zmiri-seed flag twice	2019-07-03 10:47:25 +02:00