#![feature(custom_attribute)]
#![allow(dead_code, unused_attributes)]

#[miri_run(expected = "Int(1)")]
fn ret() -> i32 {
    1
}

#[miri_run(expected = "Int(3)")]
fn add() -> i32 {
    1 + 2
}

#[miri_run(expected = "Int(3)")]
fn indirect_add() -> i32 {
    let x = 1;
    let y = 2;
    x + y
}

fn main() {}

#![feature(custom_attribute, rustc_attrs)]
#![allow(dead_code, unused_attributes)]

#[rustc_mir]
#[miri_run]
fn foo() -> i32 {
    let x = 1;
    let y = 2;
    x + y
}

fn main() {}

--- 
+++ 
@@ -1,18 +1,9 @@
-#![feature(custom_attribute)]
+#![feature(custom_attribute, rustc_attrs)]
 #![allow(dead_code, unused_attributes)]
 
-#[miri_run(expected = "Int(1)")]
-fn ret() -> i32 {
-    1
-}
-
-#[miri_run(expected = "Int(3)")]
-fn add() -> i32 {
-    1 + 2
-}
-
-#[miri_run(expected = "Int(3)")]
-fn indirect_add() -> i32 {
+#[rustc_mir]
+#[miri_run]
+fn foo() -> i32 {
     let x = 1;
     let y = 2;
     x + y
Add more tests. Remove unecessary attributes.
