using:debugger

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
using:debugger [2026/04/11 13:26] – fponziusing:debugger [2026/04/11 13:27] (current) – fponzi
Line 11: Line 11:
 {{youtube>IO9ik850i0M?}} {{youtube>IO9ik850i0M?}}
  
-===== interactive state-space exploration - added 2026-01 =====+======= interactive state-space exploration - added 2026-01 =======
  
 The TLA+ Debugger has a new major capability: **interactive state-space exploration**. This feature changes how you can interact with your TLA+ specifications by letting you explore the state space of your models interactively, one state at a time. The TLA+ Debugger has a new major capability: **interactive state-space exploration**. This feature changes how you can interact with your TLA+ specifications by letting you explore the state space of your models interactively, one state at a time.
  • using/debugger.txt
  • Last modified: 2026/04/11 13:27
  • by fponzi