[sv-ac] #805

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Mon May 22 2006 - 01:26:02 PDT
Hi all,

 

I agree with the definition of the vacuous success.

 

According to our discussion about the property coverage definition,
there is no meaning in disabled coverage success, since it should not
count as a coverage event at all.  Therefore the suggestions concerning
Clause 17.13.3, page 288, Clause 29.4.3, page 482, Clause 29.4.2, page
481, and Annex I are not relevant. 

 

I agree with the proposal concerning  Clause 28.4.2.

 

Thanks,

Dmitry
Received on Mon May 22 01:29:00 2006

This archive was generated by hypermail 2.1.8 : Mon May 22 2006 - 01:29:13 PDT