Gord, I believe that slides 19-21 of the presentation that Dmitry just sent address this question. Shalom > Now I'm getting confused. I thought that checker assertions > were NOT always the same as a substitution in the instantiation point. > In particular, that enable, etc inference is not done unless > the special $.. forms were used. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Mar 10 00:33:30 2008
This archive was generated by hypermail 2.1.8 : Mon Mar 10 2008 - 00:36:38 PDT