Added test cases for coverify compatibility