Ralf Jung 8ec25066e7 make a test noseed for now that does not work with intptrcast yet

2019-07-03 10:47:28 +02:00

..

compile-fail

make sure we catch alignment problems even with intrptrcast

2019-06-29 14:31:54 +02:00

run-pass

make a test noseed for now that does not work with intptrcast yet

2019-07-03 10:47:28 +02:00

run-pass-noseed

make a test noseed for now that does not work with intptrcast yet

2019-07-03 10:47:28 +02:00

compiletest.rs

dont add the -Zmiri-seed flag twice

2019-07-03 10:47:25 +02:00