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

Re: [tlaplus] Command-line tool options

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].



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.