Testsuite: gov.nasa.jpf.test.vm.reflection.MethodTest
Tests run: 25, Failures: 0, Errors: 0, Time elapsed: 10,83 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest getPrivateMethod
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest getPrivateMethod 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NoSuchMethodException: java.lang.Integer.toUnsignedString(II)
	at java.lang.Class.getMethod(gov.nasa.jpf.jvm.JPF_java_lang_Class)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.getPrivateMethod(MethodTest.java:104)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.NoSuchMethodException: java.lang.Integer..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest testInstanceMethodInvoke
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest testInstanceMethodInvoke 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateSameClass
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateSameClass 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateOtherClass
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateOtherClass 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalAccessException: Class gov.nasa.jpf.test.vm.reflection.MethodTest can not access a member of class java.lang.Integer with modifiers "private static
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokePrivateOtherClass(MethodTest.java:134)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.IllegalAccessException: Class gov.nasa.j..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateOtherClassAccessible
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateOtherClassAccessible 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateSuperclass
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokePrivateSuperclass 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest getMethodCanFindNotify
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest getMethodCanFindNotify 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest getDeclaredMethodCantFindNotify
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest getDeclaredMethodCantFindNotify 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NoSuchMethodException: java.lang.Integer.notify()
	at java.lang.Class.getDeclaredMethod(gov.nasa.jpf.jvm.JPF_java_lang_Class)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.getDeclaredMethodCantFindNotify(MethodTest.java:175)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.NoSuchMethodException: java.lang.Integer..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongThisType
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongThisType 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Object is not an instance of declaring class.  Actual = ClassInfo[name=java.lang.Object].  Expected = ClassInfo[name=gov.nasa.jpf.test.vm.reflection.MethodTest]
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeWrongThisType(MethodTest.java:190)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Object is not ..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokeNullObject
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokeNullObject 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NullPointerException: Expected an instance of ClassInfo[name=gov.nasa.jpf.test.vm.reflection.MethodTest]
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeNullObject(MethodTest.java:201)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.NullPointerException: Expected an instan..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongNumberOfArguments
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongNumberOfArguments 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Wrong number of arguments passed.  Actual = 1.  Expected = 0
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeWrongNumberOfArguments(MethodTest.java:212)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Wrong number o..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongArgumentTypeReference
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokeWrongArgumentTypeReference 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: Wrong argument type at index 0.  Source Class = gov.nasa.jpf.test.vm.reflection.MethodTest$Faz.  Dest Class = gov.nasa.jpf.test.vm.reflection.MethodTest$Boo
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeWrongArgumentTypeReference(MethodTest.java:223)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.IllegalArgumentException: Wrong argument..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest invokeInvocationTargetException
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest invokeInvocationTargetException 

====================================================== search started: 13.1.11 16:15

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.reflect.InvocationTargetException: java.lang.Throwable
	at gov.nasa.jpf.test.vm.reflection.MethodTest.throwThrowable(MethodTest.java:229)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeInvocationTargetException(MethodTest.java:243)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)
Caused by: java.lang.Throwable: purposeful exception
	at gov.nasa.jpf.test.vm.reflection.MethodTest.throwThrowable(MethodTest.java:229)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.test.vm.reflection.MethodTest.invokeInvocationTargetException(MethodTest.java:243)
	at java.lang.reflect.Method.invoke(Native Method)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:476)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.reflect.InvocationTargetException: java...."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest testReturnType
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest testReturnType 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest testParameterTypes
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest testParameterTypes 

====================================================== search started: 13.1.11 16:15

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=byte +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=java.lang.IllegalArgumentException,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=java.lang.IllegalArgumentException,java.lang.Short=java.lang.IllegalArgumentException,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = byte
Actual Length = 485
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=No Exception

Expected Length = 485
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=short +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=java.lang.IllegalArgumentException,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=java.lang.IllegalArgumentException,java.lang.Short=No Exception,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = short
Actual Length = 463
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=No Exception
java.lang.Byte=No Exception

Expected Length = 463
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=No Exception
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=int +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=No Exception,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=No Exception,java.lang.Short=No Exception,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = int
Actual Length = 419
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception

Expected Length = 419
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=long +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=No Exception,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=No Exception,java.lang.Integer=No Exception,java.lang.Short=No Exception,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = long
Actual Length = 397
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception

Expected Length = 397
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=float +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=No Exception,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=No Exception,java.lang.Long=No Exception,java.lang.Integer=No Exception,java.lang.Short=No Exception,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = float
Actual Length = 375
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=No Exception
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception

Expected Length = 375
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=No Exception
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=double +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=No Exception,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=No Exception,java.lang.Float=No Exception,java.lang.Long=No Exception,java.lang.Integer=No Exception,java.lang.Short=No Exception,java.lang.Byte=No Exception, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = double
Actual Length = 353
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=No Exception
java.lang.Float=No Exception
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception

Expected Length = 353
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=No Exception
java.lang.Float=No Exception
java.lang.Long=No Exception
java.lang.Integer=No Exception
java.lang.Short=No Exception
java.lang.Byte=No Exception


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=boolean +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=java.lang.IllegalArgumentException,java.lang.Boolean=No Exception,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=java.lang.IllegalArgumentException,java.lang.Short=java.lang.IllegalArgumentException,java.lang.Byte=java.lang.IllegalArgumentException, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = boolean
Actual Length = 485
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=No Exception
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException

Expected Length = 485
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=No Exception
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=char +argtest.expected=null=java.lang.IllegalArgumentException,java.lang.String=java.lang.IllegalArgumentException,java.lang.Character=No Exception,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=java.lang.IllegalArgumentException,java.lang.Short=java.lang.IllegalArgumentException,java.lang.Byte=java.lang.IllegalArgumentException, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = char
Actual Length = 485
Actual =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException

Expected Length = 485
Expected =
null=java.lang.IllegalArgumentException
java.lang.String=java.lang.IllegalArgumentException
java.lang.Character=No Exception
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +argtest.argClassName=java.lang.String +argtest.expected=null=No Exception,java.lang.String=No Exception,java.lang.Character=java.lang.IllegalArgumentException,java.lang.Boolean=java.lang.IllegalArgumentException,java.lang.Double=java.lang.IllegalArgumentException,java.lang.Float=java.lang.IllegalArgumentException,java.lang.Long=java.lang.IllegalArgumentException,java.lang.Integer=java.lang.IllegalArgumentException,java.lang.Short=java.lang.IllegalArgumentException,java.lang.Byte=java.lang.IllegalArgumentException, gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.MethodTest argTest
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.reflection.MethodTest argTest 

====================================================== search started: 13.1.11 16:15
Arg Class = java.lang.String
Actual Length = 463
Actual =
null=No Exception
java.lang.String=No Exception
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException

Expected Length = 463
Expected =
null=No Exception
java.lang.String=No Exception
java.lang.Character=java.lang.IllegalArgumentException
java.lang.Boolean=java.lang.IllegalArgumentException
java.lang.Double=java.lang.IllegalArgumentException
java.lang.Float=java.lang.IllegalArgumentException
java.lang.Long=java.lang.IllegalArgumentException
java.lang.Integer=java.lang.IllegalArgumentException
java.lang.Short=java.lang.IllegalArgumentException
java.lang.Byte=java.lang.IllegalArgumentException


====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:15
------------- ---------------- ---------------

Testcase: getPrivateMethod took 1,26 sec
Testcase: testInstanceMethodInvoke took 0,54 sec
Testcase: invokePrivateSameClass took 0,43 sec
Testcase: invokePrivateOtherClass took 0,37 sec
Testcase: invokePrivateOtherClassAccessible took 0,51 sec
Testcase: invokePrivateSuperclass took 0,42 sec
Testcase: getMethodCanFindNotify took 0,3 sec
Testcase: getDeclaredMethodCantFindNotify took 0,4 sec
Testcase: invokeWrongThisType took 0,32 sec
Testcase: invokeNullObject took 0,42 sec
Testcase: invokeWrongNumberOfArguments took 0,41 sec
Testcase: invokeWrongArgumentTypeReference took 0,29 sec
Testcase: invokeInvocationTargetException took 0,38 sec
Testcase: testReturnType took 0,28 sec
Testcase: testParameterTypes took 0,38 sec
Testcase: argTest took 0 sec
Testcase: argTestByte took 0,56 sec
Testcase: argTestShort took 0,36 sec
Testcase: argTestInt took 0,5 sec
Testcase: argTestLong took 0,48 sec
Testcase: argTestFloat took 0,48 sec
Testcase: argTestDouble took 0,36 sec
Testcase: argTestBoolean took 0,48 sec
Testcase: argTestChar took 0,36 sec
Testcase: argTestString took 0,47 sec
