[sv-ac] RE: changes to 2150

From: Kulshrestha, Manisha <Manisha_Kulshrestha_at_.....>
Date: Tue Feb 26 2008 - 09:48:24 PST
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.


Received on Tue Feb 26 09:48:58 2008

This archive was generated by hypermail 2.1.8 : Tue Feb 26 2008 - 09:49:13 PST