| .. |
|
cast_fn_ptr_unsafe2.rs
|
implement fn -> unsafe fn pointer casts
|
2016-06-17 16:49:06 +02:00 |
|
cast_fn_ptr_unsafe.rs
|
implement fn -> unsafe fn pointer casts
|
2016-06-17 16:49:06 +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 |
|
invalid_enum_discriminant.rs
|
there can never be too many tests
|
2016-06-23 09:36:37 +02:00 |
|
match_char.rs
|
add test for invalid char
|
2016-06-23 09:36:37 +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 |
|
option_eq.rs
|
implement char handling
|
2016-06-21 09:35:20 +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 |
