add test for std::random

rust-lang · Sep 25, 2024 · cbe2ec0 · cbe2ec0
1 parent e057c17
commit cbe2ec0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/tools/miri/tests/pass/shims/random.rs b/src/tools/miri/tests/pass/shims/random.rs
@@ -0,0 +1,5 @@
+#![feature(random)]
+
+fn main() {
+    let _x: i32 = std::random::random();
+}