Re: [tlaplus] Command-line tool options

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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/74b39102-2dec-069f-0ba7-4fde1d6191d4%40lemmster.de.