☰
In miri
In miri
Modules
concurrency
diagnostics
eval
helpers
interpret
intptrcast
machine
mono_hash_map
operator
range_map
shims
stacked_borrows
Macros
compile_time_machine
Structs
AllocDecodingSession
AllocDecodingState
AllocExtra
AllocId
AllocRange
AllocRef
AllocRefMut
Allocation
CatchUnwindData
CondvarId
ConstAlloc
ConstAllocation
CurrentSpan
EnvVars
Evaluator
Frame
FrameData
FrameInfo
GlobalId
ImmTy
InitChunkIter
InitMask
InterpCx
InterpErrorInfo
Item
LitToConstInput
LocalState
MPlaceTy
MemPlace
Memory
MiriConfig
MonoHashMap
MutexId
OpTy
PlaceTy
Pointer
ProvenanceMap
RangeMap
RefTracking
RwLockId
SbTag
ScalarSizeMismatch
Stack
Stacks
ThreadId
ThreadManager
TlsData
UninitBytesAccess
Enums
AlignmentCheck
AllocKind
AtomicFenceOrd
AtomicReadOrd
AtomicRwOrd
AtomicWriteOrd
BacktraceStyle
CheckInAllocMsg
ConstValue
CtfeValidationMode
Dlsym
ErrorHandled
FnVal
GlobalAlloc
Immediate
InitChunk
InternKind
InterpError
InvalidProgramInfo
IsolatedOp
LitToConstError
LocalValue
MemPlaceMeta
MemoryKind
MiriMemoryKind
NonHaltingDiagnostic
Operand
Permission
Place
Provenance
ProvenanceExtra
ProvenanceMode
RejectOpWith
ResourceExhaustionInfo
Scalar
SchedulingAction
StackPopCleanup
StackPopJump
StackPopUnwind
TerminationInfo
ThreadState
UndefinedBehaviorInfo
UnsupportedOpInfo
Constants
MIRI_DEFAULT_ARGS
NUM_CPUS
PAGE_SIZE
STACK_ADDR
STACK_SIZE
Traits
AllocMap
DataRaceEvalContextExt
DiagnosticsEvalContextExt
HelpersEvalContextExt
Machine
MachineStopType
MayLeak
MiriEvalContextExt
MutValueVisitor
OperatorEvalContextExt
PointerArithmetic
Provenance
StackedBorEvalContextExt
SyncEvalContextExt
ThreadsEvalContextExt
Value
ValueVisitor
Functions
alloc_range
create_ecx
eval_entry
get_slice_bytes
intern_const_alloc_recursive
read_target_uint
register_diagnostic
report_error
specialized_encode_alloc_id
struct_error
write_target_uint
Type Definitions
CallId
EvalToAllocationRawResult
EvalToConstValueResult
EvalToValTreeResult
InterpResult
MiriEvalContext
?
Constant
miri
::
NUM_CPUS
source
·
[
−
]
pub const NUM_CPUS:
u64
= 1;