Skip to content
| Marketplace
Sign in
Visual Studio Code>Visualization>ITF Trace ViewerNew to Visual Studio Code? Get it now.
ITF Trace Viewer

ITF Trace Viewer

Informal Systems

|
282 installs
| (0) | Free
View nicely formatted ITF trace files
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

ITF Trace Viewer

VS Code extension for viewing ITF trace files as nicely formatted tables.

Features

  • There are two view modes:
    1. "Single table" mode displays each state of the trace as a row in a table.
    2. "Chained tables" mode displays a sequence of states, where each state is a table.
  • Differences in fields of consecutive states are displayed with border colors:
    • Red for same-type objects with different values.
    • Violet for same-type objects that differ in their set of keys.
    • Green for new elements that don't exist in the previous state.
  • Filter by variables: select which variables you want to hide or show.
  • Hide or show the initial state (hidden by default).
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft