Testsuite: gov.nasa.jpf.test.java.lang.ClassTest
Tests run: 15, Failures: 0, Errors: 0, Time elapsed: 6,81 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testClassForName
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.java.lang.ClassTest testClassForName 

====================================================== search started: 13.1.11 16:11
loaded gov.nasa.jpf.test.java.lang.ClassTest

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testClassForNameException
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.java.lang.ClassTest testClassForNameException 

====================================================== search started: 13.1.11 16:11

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.ClassNotFoundException: x.y.NonExisting
	at java.lang.Class.forName(gov.nasa.jpf.jvm.JPF_java_lang_Class)
	at gov.nasa.jpf.test.java.lang.ClassTest.testClassForNameException(ClassTest.java:76)
	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.ClassNotFoundException: x.y.NonExisting ..."

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testGetClass
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.java.lang.ClassTest testGetClass 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testIdentity
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.java.lang.ClassTest testIdentity 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testNewInstance
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.java.lang.ClassTest testNewInstance 

====================================================== search started: 13.1.11 16:11
new instance: gov.nasa.jpf.test.java.lang.ClassTest@aa9a

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testNewInstanceFailAccess
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.java.lang.ClassTest testNewInstanceFailAccess 

====================================================== search started: 13.1.11 16:11

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalAccessException: cannot access non-public member of class gov.nasa.jpf.test.java.lang.ClassTest$InAccessible
	at java.lang.Class.newInstance(gov.nasa.jpf.jvm.JPF_java_lang_Class)
	at gov.nasa.jpf.test.java.lang.ClassTest.testNewInstanceFailAccess(ClassTest.java:144)
	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: cannot access no..."

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testNewInstanceFailAbstract
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.java.lang.ClassTest testNewInstanceFailAbstract 

====================================================== search started: 13.1.11 16:11

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.InstantiationException
	at java.lang.Class.newInstance(gov.nasa.jpf.jvm.JPF_java_lang_Class)
	at gov.nasa.jpf.test.java.lang.ClassTest.testNewInstanceFailAbstract(ClassTest.java:155)
	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.InstantiationException  at java.lang.Cla..."

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testIsAssignableFrom
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.java.lang.ClassTest testIsAssignableFrom 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testInstanceOf
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.java.lang.ClassTest testInstanceOf 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testAsSubclass
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.java.lang.ClassTest testAsSubclass 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testClassField
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.java.lang.ClassTest testClassField 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testInterfaces
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.java.lang.ClassTest testInterfaces 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testMethods
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.java.lang.ClassTest testMethods 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testGetEnclosingClassExist
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.java.lang.ClassTest testGetEnclosingClassExist 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassTest testGetEnclosingClassNotExist
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.java.lang.ClassTest testGetEnclosingClassNotExist 

====================================================== search started: 13.1.11 16:11

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

====================================================== search finished: 13.1.11 16:11
------------- ---------------- ---------------

Testcase: testClassForName took 1,38 sec
Testcase: testClassForNameException took 0,46 sec
Testcase: testGetClass took 0,41 sec
Testcase: testIdentity took 0,45 sec
Testcase: testNewInstance took 0,34 sec
Testcase: testNewInstanceFailAccess took 0,41 sec
Testcase: testNewInstanceFailAbstract took 0,33 sec
Testcase: testIsAssignableFrom took 0,39 sec
Testcase: testInstanceOf took 0,41 sec
Testcase: testAsSubclass took 0,45 sec
Testcase: testClassField took 0,28 sec
Testcase: testInterfaces took 0,38 sec
Testcase: testMethods took 0,4 sec
Testcase: testGetEnclosingClassExist took 0,26 sec
Testcase: testGetEnclosingClassNotExist took 0,39 sec
