update cargo miri test to test rng crate a bit; this currently fails

diff --git a/test-cargo-miri/run-test.py b/test-cargo-miri/run-test.py
index 8c59b6bcdead616496035b3d17b001011daeb946..f1412dbf3969ec13902312d87a0348659401415e 100755 (executable)
--- a/test-cargo-miri/run-test.py
+++ b/test-cargo-miri/run-test.py
@@ -43,7 +43,7 @@ def test_cargo_miri_run():
     )
 
 def test_cargo_miri_test():
-    test("cargo miri test", ["cargo", "miri", "test", "-q"], "test.stdout.ref", "test.stderr.ref")
+    test("cargo miri test", ["cargo", "miri", "test", "-q", "--", "-Zmiri-seed=feed"], "test.stdout.ref", "test.stderr.ref")
     test("cargo miri test (with filter)",
         ["cargo", "miri", "test", "-q", "--", "--", "impl"],
         "test.stdout.ref2", "test.stderr.ref"

diff --git a/test-cargo-miri/test.stdout.ref b/test-cargo-miri/test.stdout.ref
index 9c3621f21535bf1dfdf63a984cb3f1b956e63d9d..318057a7d9e64e1ac843de61f88f6411e3fc9bdf 100644 (file)
--- a/test-cargo-miri/test.stdout.ref
+++ b/test-cargo-miri/test.stdout.ref
@@ -5,9 +5,10 @@ test test::rng ... ok
 test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 
 
-running 2 tests
+running 3 tests
 test rng ... ok
+test seeded_rng ... ok
 test simple ... ok
 
-test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 

diff --git a/test-cargo-miri/tests/test.rs b/test-cargo-miri/tests/test.rs
index e9faaf2fb2f19f9ef46477a576079f9258c1c37b..6f7876d679b63690c550aa4b795d4d5dfe08e016 100644 (file)
--- a/test-cargo-miri/tests/test.rs
+++ b/test-cargo-miri/tests/test.rs
@@ -1,6 +1,6 @@
 extern crate rand;
 
-use rand::{Rng, SeedableRng};
+use rand::{SeedableRng, FromEntropy, Rng, rngs::SmallRng};
 
 #[test]
 fn simple() {
@@ -17,6 +17,14 @@ fn rng() {
     assert_ne!(x, y);
 }
 
+#[test]
+#[cfg(not(target_os="macos"))] // FIXME entropy does not work on macOS
+fn seeded_rng() {
+    // Use this opportunity to test querying the RNG (needs an external crate, hence tested here and not in the compiletest suite)
+    let mut rng = SmallRng::from_entropy();
+    let _val = rng.gen::<i32>();
+}
+
 // A test that won't work on miri
 #[cfg(not(miri))]
 #[test]