[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Hillel Wayne <hwayne@xxxxxxxxx>*Date*: Mon, 14 Oct 2019 15:43:24 -0500*References*: <021b7e89-5722-4f92-80ea-3aa963a8df6f@googlegroups.com>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1

Hi Jam, TLC generates the graph of the distinct states. The difference between "states" and "distinct states" is that "states" also includes also counts when two different behaviors reach the same state at some point. That would show up as additional edges, not additional nodes. To get a dump of the state graph, you can generate a dumpfile by
adding - H On 10/14/19 2:54 PM, Jam wrote:
-- 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/1c80acb0-6811-7d3c-3cb1-11e1be0c6354%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] State graph of distinct states***From:*Markus Kuppe

**Re: [tlaplus] State graph of distinct states***From:*Jam

**References**:**[tlaplus] State graph of distinct states***From:*Jam

- Prev by Date:
**[tlaplus] State graph of distinct states** - Next by Date:
**Re: [tlaplus] State graph of distinct states** - Previous by thread:
**[tlaplus] State graph of distinct states** - Next by thread:
**Re: [tlaplus] State graph of distinct states** - Index(es):