[sv-ac] RE: changes to 2150

Attaching the updated version. Also uploading on Mantis now.

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.