Testsuite: gov.nasa.jpf.test.vm.basic.CastTest
Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 3,03 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.CastTest testCast
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.basic.CastTest testCast 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.CastTest testCastFail
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.basic.CastTest testCastFail 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.ClassCastException: gov.nasa.jpf.test.vm.basic.CastTest$A cannot be cast to gov.nasa.jpf.test.vm.basic.CastTest$I
	at gov.nasa.jpf.test.vm.basic.CastTest.testCastFail(CastTest.java:47)
	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.ClassCastException: gov.nasa.jpf.test.vm..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.CastTest testArrayCast
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.basic.CastTest testArrayCast 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.CastTest testArrayCastFail
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.basic.CastTest testArrayCastFail 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.ClassCastException: [Ljava.lang.String; cannot be cast to [Ljava.lang.Number;
	at gov.nasa.jpf.test.vm.basic.CastTest.testArrayCastFail(CastTest.java:63)
	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.ClassCastException: [Ljava.lang.String; ..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.CastTest testPrimitiveArrayCast
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.basic.CastTest testPrimitiveArrayCast 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
------------- ---------------- ---------------

Testcase: testCast took 1,31 sec
Testcase: testCastFail took 0,54 sec
Testcase: testArrayCast took 0,42 sec
Testcase: testArrayCastFail took 0,32 sec
Testcase: testPrimitiveArrayCast took 0,42 sec
