the unit test case we generated failed:   maybe you should consider the case where the array is null.