Skip to main content

Interface: $Properties

Properties of a TimeSkippingInfo.

Extended by​

Properties​

currentSessionSkipCount?​

optional currentSessionSkipCount?: number | null

The number of skips accumulated in the current session, bounded by max_session_skip_count. A new session begins — and this resets to 0 — each time max_session_skip_count is updated.

currentTime?​

optional currentTime?: $Properties | null

Current virtual time of the execution. If the execution hasn't skipped any time yet, it will be the same as wall clock time.

effectiveConfig?​

optional effectiveConfig?: $Properties | null

The current effective time-skipping config, which can differ from the config the user last set: internally-defaulted fields are populated, and enabled reflects whether the execution is still skipping time — e.g. it is set to false once max_session_skip_count is reached, the fast-forward completes, or a client call disables time skipping.

fastForwardInfo?​

optional fastForwardInfo?: $Properties | null

The execution's current fast-forward, if any. Unset if time skipping is enabled without a fast-forward.