Module ptb_trace

Source

Structs§

ExtMoveValueInfo
Information about Move value stored in external trace events.
ExternalEvent
Information about the external event that is stored in the trace.
SummaryEvent

Enums§

ExtMoveValue
Represents a Move value stored in external trace events.
PTBCommandInfo
Information about the PTB commands to be stored in the PTB start event. It contains only the information needed to provide a summary of the command.
PTBEvent
PTB-related vents to be stored in the trace. The first one is a summary of the whole PTB, and the following ones represent individual PTB commands.