add tcov in output