In reply to Alokpati:
Thanks guys for your help,
seem that the issue was different.
another query,
I have 1 property, that I assert to it multiply times,
and for some this working -
(A) |-> ## [0:3] ($past(sig_1) === sig_2);
and some didn’t have delay and this works fine -
(A) |-> ## [0:3] sig_1 === sig_2;
and my question is if there is can be some merge between the two?
cause I don’t want to do 2 assertions…
Thanks!!