bump rand so that the test passes

RalfJung · RalfJung · commit f72f53c3adfb · 2019-06-12T18:30:05.000+02:00
diff --git a/test-cargo-miri/Cargo.lock b/test-cargo-miri/Cargo.lock
diff --git a/test-cargo-miri/Cargo.toml b/test-cargo-miri/Cargo.toml
@@ -8,4 +8,4 @@ edition = "2018"
 byteorder = "1.0"
 
 [dev-dependencies]
-rand = "0.6.5"
+rand = { version = "0.7.0-pre.0", features = ["small_rng"] }
diff --git a/test-cargo-miri/tests/test.rs b/test-cargo-miri/tests/test.rs
@@ -1,4 +1,4 @@
-use rand::{FromEntropy, Rng, rngs::SmallRng};
+use rand::{SeedableRng, Rng, rngs::SmallRng};
 
 // Having more than 1 test does seem to make a difference
 // (i.e., this calls ptr::swap which having just one test does not).

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-use rand::{FromEntropy, Rng, rngs::SmallRng};`
	`1`	`+use rand::{SeedableRng, Rng, rngs::SmallRng};`
`2`	`2`
`3`	`3`	`// Having more than 1 test does seem to make a difference`
`4`	`4`	`// (i.e., this calls ptr::swap which having just one test does not).`