RE: [sv-ac] RE: changes to 2150

John will have to "re-open" it.

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Kulshrestha, Manisha
Sent: Tuesday, February 26, 2008 9:50 AM
To: john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: [sv-ac] RE: changes to 2150

Hi John, 

I just realized that I can not update the new proposal on Mantis as it
is already resolved and I do not have permission to change it.

Thanks.
Manisha

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com]
Sent: Tuesday, February 26, 2008 11:12 PM
To: Kulshrestha, Manisha
Cc: sv-ac@eda.org
Subject: changes to 2150

Change:

The action block of an assert statement shall not refer to an automatic
variable, other than a loop control variable, declared outside of the
action block.

To

The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block, other than a loop control
variable.


Also change two other similar sentences (with assume and pass).

J.H.

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



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