Brad King c4596605df BUG: Fix coverage handler initialization
This resets coverage handler internal state on initialization so that
multiple coverage runs are independent.
2009-03-02 15:32:59 -05:00
..
2006-03-10 15:03:09 -05:00
2008-12-29 17:49:17 -05:00