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

Re: [tlaplus] Graph of actions that enable other actions

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Wed, 5 Apr 2023 13:48:04 -0700
References: <CAFG8yPTdN+42OjzjAFRbjpzBb-RL6cwC21pBFbntFip5x+z6CQ@mail.gmail.com> <C73E6DFC-0AF0-422E-8D51-9B6402E042EF@lemmster.de> <CAFG8yPR3iar7A7t_9_tD4AU0L2pUBM1QNGsb_c9RHfv1c0wZ2A@mail.gmail.com> <a1641ce5-ba62-4e59-80b4-8e85ae957c0cn@googlegroups.com>

The arguments entered into the model editor's "Additional TLC options"> "TLC Command Line arguments" take precedence over the model editor's normal controls.

Markus

> On Apr 5, 2023, at 1:05 PM, Daniel Craig <danielmartincraig@xxxxxxxxx> wrote:
> 
> Is there a way to do this in the TLA+ Toolbox?  Or does one need to run the TLA tools from the command line to do this


-- 
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/A8EFCC57-438A-497F-BF6F-CB1BB861A297%40lemmster.de.

References:
- [tlaplus] Graph of actions that enable other actions
  - From: Agost Biro
- Re: [tlaplus] Graph of actions that enable other actions
  - From: Markus Kuppe
- Re: [tlaplus] Graph of actions that enable other actions
  - From: Agost Biro
- Re: [tlaplus] Graph of actions that enable other actions
  - From: Daniel Craig

Prev by Date: Re: [tlaplus] Graph of actions that enable other actions
Next by Date: [tlaplus] Q about ASSUME
Previous by thread: Re: [tlaplus] Graph of actions that enable other actions
Next by thread: [tlaplus] Some blog posts I wrote about TLA+
Index(es):
- Date
- Thread