Are you assuming any fairness properties?
On Wednesday, March 20, 2019 at 3:03:48 PM UTC-7, Balaji Arun wrote:Hi,I have a temporal property that must be satisfied, but I am not able to figure out the violation from the counter-example.This is my temporal property:
This is the last state of cmdLog before stuttering:
This is the state before last:
Why is Stability violated here?