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

*From*: joandrade@xxxxxxxxx*Date*: Fri, 28 May 2021 17:23:10 -0300*References*: <b36a24e7-f78c-4983-a776-16d56a09fd64n@googlegroups.com> <773cd524-608c-4b8d-8735-aaba45583df6n@googlegroups.com> <a1067e851cd095295bd84c3f7c6b3ab4daa47cc6.camel@gmail.com> <e4fc0073-07f4-4fed-b3d6-8a30d75fd9b8n@googlegroups.com> <045f1f3a-4951-452c-a3bc-48738e4d2e6cn@googlegroups.com>*User-agent*: Evolution 3.36.4-0ubuntu1

Hello, This was the smallest exert I could put together to reproduce the error I was having. The entire module is much larger and is intended to model how a set of sensors react to the inputs of a set of actuators. I am sorry if the example makes no sense. But thanks for your reply and your input. I problem has been fixed now. Regards, Jefferson. On Thu, 2021-05-27 at 16:22 -0700, Leslie Lamport wrote: I'm sorry, I meant executions starting with x = y = 0. Actually, you just need to list the possible second states of such an execution.-- 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/d3e74b921d7c193e74563f1992f76260d0088940.camel%40gmail.com. |

**Follow-Ups**:

**References**:**[tlaplus] Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Jefferson Andrade

**[tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Andrew Helwer

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*joandrade

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Leslie Lamport

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Leslie Lamport

- Prev by Date:
- Next by Date:
- Previous by thread:
- Next by thread:
- Index(es):