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);
+}