Added the coverage-checking test cases.