Oliver Schneider 55fd060cd8

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

..

dangling_pointer_deref.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

deref_fn_ptr.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

execute_memory.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

invalid_bool.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

null_pointer_deref.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

out_of_bounds_read.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

pointers_to_different_allocations_are_unorderable.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

undefined_byte_read.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

unimplemented.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

wild_pointer_deref.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00