(or left & right arrow)
Welcome to the PlusCal debugger
Paste in your specification and your trace (get the trace from the TLC console and clear it before running TLC) below, then click Visualize to step through your spec.