various testing improvements

[rust.git] / tests / run-pass / std.rs

diff --git a/tests/run-pass/std.rs b/tests/run-pass/std.rs
index d9c0e3ca1fe4881e030b10f6bb2787bdf8c4f055..1d4dc8befef8c6e73455f872514e29a948015330 100644 (file)
--- a/tests/run-pass/std.rs
+++ b/tests/run-pass/std.rs
@@ -44,4 +44,10 @@ fn true_assert() {
     assert_eq!(1, 1);
 }
 
-fn main() {}
+#[miri_run]
+fn main() {
+    //let x = rc_reference_cycle().0;
+    //assert!(x.borrow().is_some());
+    assert_eq!(*arc(), 42);
+    assert_eq!(rc_cell().get(), 84);
+}