tests/run-pass/strings.rs

   1 #![crate_type = "lib"]
   2 #![feature(custom_attribute)]
   3 #![allow(dead_code, unused_attributes)]
   4
   5 #[miri_run]
   6 fn empty() -> &'static str {
   7     ""
   8 }
   9
  10 #[miri_run]
  11 fn hello() -> &'static str {
  12     "Hello, world!"
  13 }
  14
  15 #[miri_run]
  16 fn hello_bytes() -> &'static [u8; 13] {
  17     b"Hello, world!"
  18 }
  19
  20 #[miri_run]
  21 fn hello_bytes_fat() -> &'static [u8] {
  22     b"Hello, world!"
  23 }