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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Sat, 23 Mar 2019 08:28:44 +0100*References*: <eb2f2815-b121-49c8-bb9d-82829eeb6c47@googlegroups.com> <c3c8f81d-dcb8-40df-81d7-f9b9c3a2e723@googlegroups.com>

The red highlight in traces displayed in the Toolbox simply indicates which variables changed during the corresponding step. Since your spec has only a single variable, this is not very informative in your case. Stephan
--
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx. Visit this group at https://groups.google.com/group/tlaplus. For more options, visit https://groups.google.com/d/optout. |

**Follow-Ups**:

**References**:

- Prev by Date:
**[tlaplus] Re: Invariant TCTypeOK is violated in a simple spec** - Next by Date:
**Re: [tlaplus] Re: Invariant TCTypeOK is violated in a simple spec** - Previous by thread:
**[tlaplus] Re: Invariant TCTypeOK is violated in a simple spec** - Next by thread:
**Re: [tlaplus] Re: Invariant TCTypeOK is violated in a simple spec** - Index(es):