[sv-champions] RE: [sv-sc] Mantis 1900

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Wed Aug 06 2008 - 20:52:43 PDT
I made the fixes in Part 2 and uploaded a new version into Mantis.

 

Dmitry

 

________________________________

From: owner-sv-sc@server.eda.org [mailto:owner-sv-sc@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Wednesday, August 06, 2008 5:18 PM
To: sv-sc@eda.org
Cc: sv-champions@server.eda.org
Subject: [sv-sc] Mantis 1900

 

Hi, 

In the BNFs for checkers, there are a few places where symbols need to
be bold red and are not: 

In part 1: 

P. 17, A.1.8, checker_port_item: 

= property_actual_arg 

The "=" should be red. 

 

Part 2, pages 1-2: 

In checker_port_list, the comma should be red. 

In checker_port_item, the equals sign should be red. 

In checker_or_generate_item_declaration, the semicolons at the end of
the two next to last lines should be red. 

Thanks, 
Shalom 

 

Shalom Bresticker 
Intel Jerusalem LAD DA 
+972 2 589-6582 
+972 54 721-1033 

---------------------------------------------------------------------
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 <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
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 Wed Aug 6 20:53:48 2008

This archive was generated by hypermail 2.1.8 : Wed Aug 06 2008 - 20:53:50 PDT