[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Skipping model when a property is satisfied
From
: Zixian Cai <
fzcz...@xxxxxxxxx
>
Date
: Fri, 5 Oct 2018 16:52:33 -0700 (PDT)
Hi,
I'm just wondering whether it is possible to provide condition(s) to the model checker so that if these conditions are satisfied at a point, it skips the current model without further exploring.
Sincerely,
Zixian
Follow-Ups
:
Re: [tlaplus] Skipping model when a property is satisfied
From:
Markus Kuppe
Prev by Date:
Division in action expression
Next by Date:
Re: [tlaplus] Re: understanding temporal properties
Previous by thread:
Re: [tlaplus] Division in action expression
Next by thread:
Re: [tlaplus] Skipping model when a property is satisfied
Index(es):
Date
Thread