Ralf Jung a6f9bbc9e2 now we can also enable the ptr_int_cast test again		2019-07-10 14:36:56 +02:00
..
hashmap.rs	dont add the -Zmiri-seed flag twice	2019-07-03 10:47:25 +02:00
heap_allocator.rs	dont add the -Zmiri-seed flag twice	2019-07-03 10:47:25 +02:00
intptrcast.rs	Fix explicit cast test	2019-07-03 15:59:32 -05:00
malloc.rs	dangling-ptr-to-int should work now; move to noseed	2019-07-05 23:54:18 +02:00