Oliver Schneider 4f48bef896

cfail test for std::env::args()

2016-06-17 15:48:15 +02:00

..

cast_fn_ptr.rs

forbid calling functions through pointers of a different type

2016-06-14 10:34:54 +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

env_args.rs

cfail test for std::env::args()

2016-06-17 15:48:15 +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