Command-line tool options

20 views

Skip to first unread message

Michel Charpentier

unread,

Dec 13, 2019, 9:53:31 AM12/13/19

to tlaplus

The Toolbox has a "Verify temporal properties upon termination only" option. Is there an equivalent for the command-line tool?

Markus Kuppe

unread,

Dec 13, 2019, 10:56:20 AM12/13/19

to tla...@googlegroups.com

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

Michel Charpentier

unread,

Dec 17, 2019, 9:03:40 AM12/17/19

to tlaplus

Read-the-source, of course ;-)

Thanks,

Reply all

Reply to author

Forward

0 new messages