Re: [tlaplus] Command-line tool options

[Michel Charpentier <charpov@xxxxxxxxx>]

Read-the-source, of course ;-)

Thanks,

MC

On Friday, December 13, 2019 at 10:56:20 AM UTC-5, Markus Alexander Kuppe wrote:

On 13.12.19 06:53, Michel Charpentier wrote:
> The Toolbox has a "Verify temporal properties upon termination only"
> option.  Is there an equivalent for the command-line tool?

Hi Michel,

the command-line equivalent is "-lncheck final" [1].

Best
Markus

[1]
https://github.com/tlaplus/tlaplus/blob/dcca49b653cab58df5684ff82b3aa9b826bfe9ba/tlatools/src/tlc2/TLC.java#L376-L387

-- 
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/baea1b99-7828-44d0-a356-c013229c3ccf%40googlegroups.com.