I reviewed Mantis 1460 and found the following issues: * The spacing in property abc(a, b, c) should be consistent between 16.15.1 Assert statement and 16.15.2 Assume statement * In 16.15.2 it is written "a => b", should be "a |=>b" Dmitry --------------------------------------------------------------------- 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 Sat Jun 28 23:25:02 2008
This archive was generated by hypermail 2.1.8 : Sat Jun 28 2008 - 23:27:16 PDT