Adding options for coverage checking.