From 00b382d1a5854ccefad7378968b1f6df66bf2da9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 22 Jul 2022 20:53:20 -0400
Subject: [PATCH] add num_cpus crate test

---
 test_dependencies/Cargo.lock  | 1 +
 test_dependencies/Cargo.toml  | 1 +
 tests/pass/crates/num_cpus.rs | 5 +++++
 tests/pass/crates/random.rs   | 2 +-
 4 files changed, 8 insertions(+), 1 deletion(-)
 create mode 100644 tests/pass/crates/num_cpus.rs

diff --git a/test_dependencies/Cargo.lock b/test_dependencies/Cargo.lock
index a492deba4c5..d4b32e2c29a 100644
--- a/test_dependencies/Cargo.lock
+++ b/test_dependencies/Cargo.lock
@@ -107,6 +107,7 @@ dependencies = [
  "getrandom 0.1.16",
  "getrandom 0.2.7",
  "libc",
+ "num_cpus",
  "page_size",
  "rand",
  "tokio",
diff --git a/test_dependencies/Cargo.toml b/test_dependencies/Cargo.toml
index 0bf43aefebf..58f731f91d0 100644
--- a/test_dependencies/Cargo.toml
+++ b/test_dependencies/Cargo.toml
@@ -12,6 +12,7 @@ edition = "2021"
 tokio = { version = "1.0", features = ["full"] }
 libc = "0.2"
 page_size = "0.4.1"
+num_cpus = "1.10.1"
 
 getrandom_1 = { package = "getrandom", version = "0.1" }
 getrandom_2 = { package = "getrandom", version = "0.2" }
diff --git a/tests/pass/crates/num_cpus.rs b/tests/pass/crates/num_cpus.rs
new file mode 100644
index 00000000000..84339feb11e
--- /dev/null
+++ b/tests/pass/crates/num_cpus.rs
@@ -0,0 +1,5 @@
+//@compile-flags: -Zmiri-disable-isolation
+
+fn main() {
+    assert_eq!(num_cpus::get(), 1);
+}
diff --git a/tests/pass/crates/random.rs b/tests/pass/crates/random.rs
index 808d1006d4f..5eccf3b0ea1 100644
--- a/tests/pass/crates/random.rs
+++ b/tests/pass/crates/random.rs
@@ -1,6 +1,6 @@
-use rand::{rngs::SmallRng, Rng, SeedableRng};
 // mac-os `getrandom_1` does some pointer shenanigans
 //@compile-flags: -Zmiri-permissive-provenance
+use rand::{rngs::SmallRng, Rng, SeedableRng};
 
 fn main() {
     // Test `getrandom` directly (in multiple different versions).