RE: [sv-ac] mantis 1383

From: dbustan <dbustan_at_.....>
Date: Thu Jan 11 2007 - 16:10:44 PST
Another dependency is the vacuity proposal that defines attempts.

Doron

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Thursday, January 11, 2007 7:28 AM
To: sv-ac@eda.org
Subject: [sv-ac] mantis 1383

Hi Dmitry:

Mantis 1383 is affected by 0805, which says that disabled 
attempts are neither successes nor failures.  I added a 
bugnote to that effect.

J.H.

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




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Jan 11 16:11:10 2007

This archive was generated by hypermail 2.1.8 : Thu Jan 11 2007 - 16:11:37 PST