[tlaplus] Sub-action of Next in vscode plugin

[Chris Ortiz <zitroomega@xxxxxxxxx>]

Hi,

I am trying to port some of my TLA+ spec from Toolbox to VScode with TLA+ nightly plugin. When I checked my model I can only see the statistics of the states and not the sub-action of Next, unlike in the Toolbox. Is that feature available in the vscode plugin? Or is there anything I need to pass to TLC command line option or to the Java's?

I appreciate any inputs and clarification,

Thanks,

Zitro

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fb679e48-03ac-4b45-a0de-87609ff7522cn%40googlegroups.com.