Adapt state regex to work with new TLC versions

dmilstein / channels

TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results

MIT License

8 stars 1 forks source link

Adapt state regex to work with new TLC versions #3

Open Alexander-N opened 3 years ago

Alexander-N commented 3 years ago

In recent versions the "State " in the trace output is missing.