[sv-ac] SV-AC proposals

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Mon Mar 12 2007 - 14:40:26 PDT
Hello,

I have created a new Mantis entry #1756 (behavior of assertions in
initial block when $asserton/off/kill are issued, #1757 property reset
operators, and #1758 Boolean implication and equivalence operators.
I also uploaded a new proposal for #1683 and #1728 (still a draft).

Attached all here for convenience.

Best regards,
ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


Received on Mon Mar 12 14:41:40 2007

This archive was generated by hypermail 2.1.8 : Mon Mar 12 2007 - 14:41:48 PDT