[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[tlaplus] Command-line tool options
From
: Michel Charpentier <
charpov@xxxxxxxxx
>
Date
: Fri, 13 Dec 2019 06:53:31 -0800 (PST)
The Toolbox has a "Verify temporal properties upon termination only" option. Is there an equivalent for the command-line tool?
MC
--
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/b172f596-663b-44c7-93a9-195d322d7969%40googlegroups.com
.
Follow-Ups
:
Re: [tlaplus] Command-line tool options
From:
Markus Kuppe
Prev by Date:
Re: [tlaplus] States missing from dump?
Next by Date:
Re: [tlaplus] Command-line tool options
Previous by thread:
Re: [tlaplus] States missing from dump?
Next by thread:
Re: [tlaplus] Command-line tool options
Index(es):
Date
Thread