Added coverage checking
jenkens implemented
push