From 5b0164b0fa950e384e91c807e79df4b51a4bcd50 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Mon, 21 Mar 2016 04:37:28 -0600
Subject: [PATCH] Add simple test of assert_eq!.

---
 test/std.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/std.rs b/test/std.rs
index 916a85bc1a57..fec584585858 100644
--- a/test/std.rs
+++ b/test/std.rs
@@ -17,3 +17,8 @@ fn arc() -> i32 {
     let a = Arc::new(42);
     *a
 }
+
+#[miri_run]
+fn true_assert() {
+    assert_eq!(1, 1);
+}