[sv-ac] Mantis #805

Hi Manisha,

I looked at the proposal for #805 and there is something I do not
understand.

It state on the 1st page:

"The results of coverage statement for a property shall contain the
following:
- Number of times attempted
- Number of times succeeded
- Number of times failed
- Number of times succeeded because of vacuity"

and also

"The coverage counters for success, failure or vacuous success do not
include disabled evaluations. The attempt counter includes the attempts
which result in disabled evaluation."


Then on the 2nd page it has

"For any assertion, the number of attempts that have not
yet reached any conclusion (success or failure) can be derived from the
formula:
in progress = attempts - (successes + vacuous success + disabled +
failures)"

But if there is no counter for disabled, there is no way to obtain the
number of attempts in progress.

Should there also be a counter for disabled?

Thanks,
ed