Add simple test of assert_eq!.

2016-03-21 04:37:28 -06:00
parent 59e25cc52c
commit 5b0164b0fa
1 changed files with 5 additions and 0 deletions
--- 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);
+}