add 'x.py miri', and make it work for 'library/{core,alloc,std}'
This commit is contained in:
parent
b390f2f458
commit
a6803b9de4
14 changed files with 423 additions and 31 deletions
4
library/std/src/lib.miri.rs
Normal file
4
library/std/src/lib.miri.rs
Normal file
|
@ -0,0 +1,4 @@
|
|||
//! Grep bootstrap for `MIRI_REPLACE_LIBRS_IF_NOT_TEST` to learn what this is about.
|
||||
#![no_std]
|
||||
extern crate std as realstd;
|
||||
pub use realstd::*;
|
Loading…
Add table
Add a link
Reference in a new issue