View Commands - HACKT PRSIM Manual
Description: HACKT PRSIM Manual

Next: Modes Commands, Previous: Info Commands, Up: Commands

### 3.6 `view` Commands

View commands affect what is displayed while the simulation is running.

— Command: confirm
— Command: noconfirm

> Controls whether or not correct assertions are reported.

— Command: watch nodes...

> Adds nodes to a watch-list of nodes to display when their values change, much like breakpt, but doesn't interrupt simulation.

— Command: unwatch nodes...

> Removes nodes from list of watched nodes.

— Command: watches

> Print list of all explicitly watched nodes.

— Command: watchall
— Command: nowatchall

> Display every node value change (regardless of present in watch-list). nowatchall restores the state where only explicitly watched nodes are displayed on value changes.

— Command: cause
— Command: nocause

> cause displays causal information of nodes as they change value. nocause hides cause information, but silently keeps track.

— Command: tcounts
— Command: notcounts

> tcounts displays transition counts on nodes as they change value. notcounts hides transition count information.

— Command: zerotcounts

> Reset all transition counts to 0.

— Command: watch-queue
— Command: nowatch-queue

> Show changes to the event-queue as events on only watched nodes are scheduled. Typically only used during debugging or detailed diagnostics.

— Command: watchall-queue
— Command: nowatchall-queue

> Show changes to the event-queue as every event is scheduled. Typically only used during debugging or detailed diagnostics.