[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