<div dir="ltr"><div>Hi Andrei. pingd==0 won't satisfy both statements. It would if I used GTE, but I used GT.</div><div>
pingd lt 1 --> [0]</div><div>

pingd gt 0 --> [1,2,3,...]</div><div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 12 Dec 2023 at 17:21, Andrei Borzenkov <<a href="mailto:arvidjaar@gmail.com">arvidjaar@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tue, Dec 12, 2023 at 4:47 PM Artem <<a href="mailto:tyomikh@gmail.com" target="_blank">tyomikh@gmail.com</a>> wrote:<br>>> > pcs constraint location FAKE3 rule score=0 pingd lt 1 or not_defined pingd<br>>> > pcs constraint location FAKE3 rule score=125 pingd gt 0 or defined pingd<br>> Are they really contradicting?<br>
<br>
Yes. pingd == 0 will satisfy both rules. My use of "always" was<br>
incorrect, it does not happen for all possible values of pingd, but it<br>
does happen for some.<br></blockquote><div><br></div><div>
May be defined/not_defined should be put in front of lt/gt ? It is possible that VM goes down, pingd to not_defined, then the rule evaluates "lt 1" first, catches an error and doesn't evaluate next part (after OR)?<br></div></div></div>