[sv-ac] review of 1729

Hi Ed,

 

I have the following comments for 1729.

 

1.       16.3, the following statement is not taking 'cover' into
account:

"If an assertion fails and no else clause is specified, the tool shall,
by default, call $error, unless $assertfailoff is used to suppress the
failure."

2.       At the end again there are changes described for section 16.3
in the same part. All the changes for 16.3 should be together.

 

Thanks.

Manisha


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