added tools for getting coverage metrics