I vote yes. Disabled should produce a vacuous match and not count as a success. Failure counters do not make sense for coverage. Lisa
This archive was generated by hypermail 2.1.8 : Sat May 20 2006 - 08:16:28 PDT