<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">
<div><br></div><div>Regarding the "-NOT" version, I don't really see the need as the -NOT ones are essentially order independent amongst themselves, and only ordered w.r.t. the positive assertions...</div><div>
<div class="h5">
<div></div></div></div></div></div></div></blockquote><div><br></div><div style>Right, which presents a problem if CHECK and CHECK-ANYWHERE are intermixed. So we should either disallow their intermixing (this actually makes sense and will have the least effect on existing tests), or have a -ANYWHERE-NOT version because we don't want it to be affected by existing CHECK assertions.</div>
<div style><br></div><div style>Eli</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">
<div><div class="h5"><div> </div></div></div></div></div></div></blockquote></div></div></div>