CIVL Trace Viewer

• Components
  • Transition
    • Contains a number of steps
    • Clicked: show the final state of the transition on the right
    • Possible to fold/unfold all transition (3)
  • Step
    • Contains the statement and the target state
    • Clicked: show the target state on the right
  • State
    • Contains a dyscope tree and a list of processes
    • Unfold all nodes by default (including dysopes, processes)
    • Use identifier of dyscopes/processes
    • Possible to fold/unfold all subnodes of a state

• Features
  • Remember (folding/unfolding) structure of states
  • Hide atomic_lock_var/heap when possible
  • Unfold variables of a dyscope by default
  • Unfold process states by default
  • Show exact one highlight for the current focus