Module debug

Structs§

Breakpoint
CallFrame
CallStack
CurrentFrame
DebugVarSnapshot: A snapshot of a debug variable at a specific clock cycle.
DebugVarTracker: Tracks debug variable snapshots, mapping variable names to their most recent location info.
InlineCallFrame
LogicalStackFrame
NativePtr: This represents a descriptor for a pointer translated from the IR into a form suitable for referencing data in Miden’s linear memory.
ReadMemoryExpr
ResolvedLocation
StackTrace
StepInfo
TypedProcedure: Typed ABI metadata for a package entrypoint.

format_value: Resolves and decodes the package debug type represented by ty.
inline_frames_for_operation: Resolves the inline frames active for an operation.
is_internal_source_uri: Returns true for source paths emitted by compiler/runtime internals rather than user code.
resolve_location_from_filesystem: Resolve a source location directly from the filesystem, returning the resolved path and line.
resolve_source_file_for_location: Resolve a source file for location.
resolve_source_path: Resolve a source URI to an existing local filesystem path.
resolve_typed_variable_values: Resolve a typed debug variable into the canonical ABI felts consumed by the typed decoder.
resolve_variable_value: Resolve a debug variable’s value given its location and the current VM state.
resolve_variable_values: Resolve one or more consecutive felts for a debug variable.
snapshot_transient_debug_values: Snapshot transient debug locations at the decorator point.