using mochacov for coverage