Re: [tlaplus] Why this TLA spec runs into stuttering state?

[Anthony Lee <anthonynlee@xxxxxxxxx>]

Hi Abhishek,

Yes, that's the bug in the spec that made TLC runs into stuttering state.

Thanks.

Anthony

On Monday, 2 December 2024 at 19:27:02 UTC-8 Abhishek Singh wrote:

Please check the definition of SameDiagonal. Diagonals lie on x+y = constant and x-y = constant.

-Abhishek

On Thu, Nov 28, 2024 at 5:40 PM Anthony Lee <antho...@xxxxxxxxx> wrote:

Hi all,

I have created a TLA spec to try 8 Queens problem.

It runs into stuttering state after several steps even when the Spec action has Strong Fairness setting.

Could anyone take a look and give me some hint?

Thanks.

Anthony

--
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+u...@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/570a80f0-0929-4f17-90ec-d23400aac344n%40googlegroups.com.

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/26f01c43-b993-4a45-890b-e9fa6713abd0n%40googlegroups.com.