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

Re: [tlaplus] Question about "Temporal formula is a tautology" in fairness

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Wed, 29 Jun 2022 14:37:25 -0700
References: <9e859fd3-6d18-43f6-81b0-ed329f780047n@googlegroups.com>

Hi,

can you please create an issue at https://github.com/tlaplus/tlaplus/issues

Thanks,
Markus 

> On Jun 26, 2022, at 1:35 AM, 钱晨 <allenhandora@xxxxxxxxx> wrote:
> 
> While the model check reports "Temporal formula is a tautology (its negation is unsatisfiable).".

-- 
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/8469A3E6-A9DC-4A4D-97C9-B5172B9D09D4%40lemmster.de.

References:
- [tlaplus] Question about "Temporal formula is a tautology" in fairness
  - From: 钱晨

Prev by Date: Re: [tlaplus] How can I speed up model checking for this revised TLA+ spec of Raft?
Next by Date: Re: [tlaplus] How can I speed up model checking for this revised TLA+ spec of Raft?
Previous by thread: Re: [tlaplus] Question about "Temporal formula is a tautology" in fairness
Next by thread: [tlaplus] How can I speed up model checking for this revised TLA+ spec of Raft?
Index(es):
- Date
- Thread