RE: [sv-ac] #805

I agree with this too - failure counters do not make sense for coverage.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Wednesday, May 10, 2006 9:31 AM
To: Doron Bustan; sv-ac@eda.org
Subject: RE: [sv-ac] #805

I don't think the failure should be reported for coverage at all.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Doron Bustan
Sent: Wednesday, May 10, 2006 4:16 PM
To: sv-ac@server.eda.org
Subject: [sv-ac] #805

This item is closely related to the coverage discussion.
I think that disabled should not count as a success in coverage.

Another thing that I think that we need to change is the
report of the number of failures in coverage, which I don't understand.

Doron