Merge pull request #586 from RalfJung/lib.miri.rs

add lib.miri.rs file for miri-test-libstd
rust-lang · Apr 10, 2024 · 63976cb · 63976cb
2 parents 3f47913 + b936822
commit 63976cb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/lib.miri.rs b/src/lib.miri.rs
@@ -0,0 +1,5 @@
+//! Grep bootstrap for `MIRI_REPLACE_LIBRS_IF_NOT_TEST` to learn what this is about.
+#![no_std]
+#![feature(rustc_private)]
+extern crate compiler_builtins as real;
+pub use real::*;