add test for page size override flag

rust-lang · Dec 11, 2022 · 3c76339 · 3c76339
1 parent 0c1c6b9
commit 3c76339
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/pass-dep/page_size_override.rs b/tests/pass-dep/page_size_override.rs
@@ -0,0 +1,7 @@
+//@compile-flags: -Zmiri-force-page-size=8
+
+fn main() {
+    let page_size = page_size::get();
+
+    assert!(page_size == 8 * 1024, "8k page size override not respected: {}", page_size);
+}