From fbec376eedd5f6ac39ae629d9ffcd216ff37e0a6 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Thu, 12 Nov 2015 16:13:05 -0600
Subject: [PATCH] Add more tests. Remove unecessary attributes.

---
 test/add.rs | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/test/add.rs b/test/add.rs
index 33b3b533f55..77d0582dadd 100644
--- a/test/add.rs
+++ b/test/add.rs
@@ -1,9 +1,18 @@
-#![feature(custom_attribute, rustc_attrs)]
+#![feature(custom_attribute)]
 #![allow(dead_code, unused_attributes)]
 
-#[rustc_mir]
-#[miri_run]
-fn foo() -> i32 {
+#[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