blob: cb9380f5753ce2b8c717f4c45c1e8e2dd87864e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#![allow(dead_code)]
#![allow(unused_imports)]
#[macro_use]
mod macros;
mod fs;
mod miri_extern;
pub use self::fs::*;
pub use self::miri_extern::*;
pub fn run_provenance_gc() {
// SAFETY: No preconditions. The GC is fine to run at any time.
unsafe { miri_run_provenance_gc() }
}
|
