Re-exports§
use rustc_abi::Align;🔒use rustc_abi::Size;🔒use rustc_const_eval::interpret::AllocId;🔒use rustc_const_eval::interpret::InterpCx;🔒use rustc_const_eval::interpret::InterpResult;🔒pub use self::intercept::EvalContextExt as GenmcEvalContextExt;pub use self::run::run_genmc_mode;use crate::eval::ExitType;🔒use crate::AtomicFenceOrd;🔒use crate::AtomicReadOrd;🔒use crate::AtomicRmwOp;🔒use crate::AtomicRwOrd;🔒use crate::AtomicWriteOrd;🔒use crate::MemoryKind;🔒use crate::MiriMachine;🔒use crate::OpTy;🔒use crate::Scalar;🔒use crate::ThreadId;🔒use crate::ThreadManager;🔒use crate::VisitProvenance;🔒use crate::VisitWith;🔒