Incorrect type resolution results in wrong method being called
yuvaraj-anbarasan opened this issue · comments
ClassLoader getResources method fails because of incorrect type resolution
java.lang.NoSuchMethodError: [Ljava.lang.String;.add(Ljava/lang/Object;)Z
at java.lang.ClassLoader$0.accept
at java.util.Iterator.forEachRemaining(Iterator.java:133)
at java.lang.ClassLoader.getResources(ClassLoader.java:110)
at java.lang.ClassLoader.getResources(ClassLoader.java:112)
at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResourcesImpl(ClassLoaderTest.java:147)
at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResources(ClassLoaderTest.java:44)
at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)