proof test coverage