coverage checking function