RE: [sv-ac] Mantis 0001381: vacuous success is not well defined in the LRM

From: Bustan, Doron <doron.bustan_at_.....>
Date: Thu Nov 22 2007 - 06:06:19 PST
 

Put this clear - you are claiming that COVER should ignore vacuous
passes at all -  never mind the action block control task. 

[[DB:]] No, I am saying that there are no vacuous cover hits, all cover
passes are non-vacuous.

 

Doron


-- 
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 Thu Nov 22 06:10:13 2007

This archive was generated by hypermail 2.1.8 : Thu Nov 22 2007 - 06:10:40 PST