Testsuite: gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest
Tests run: 9, Failures: 0, Errors: 0, Time elapsed: 4,46 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest testNPE
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.ExceptionHandlingTest testNPE 

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

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NullPointerException: referencing field 'data' on null object
	at gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest.testNPE(ExceptionHandlingTest.java:45)
	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: referencing field ..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NullPointerException: Calling 'foo()V' on null object
	at gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest.testNPECall(ExceptionHandlingTest.java:54)
	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: Calling 'foo()V' o..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.ArrayIndexOutOfBoundsException: -1
	at gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest.testArrayIndexOutOfBoundsLow(ExceptionHandlingTest.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.ArrayIndexOutOfBoundsException: -1  at g..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.ArrayIndexOutOfBoundsException: 10
	at gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest.testArrayIndexOutOfBoundsHigh(ExceptionHandlingTest.java:72)
	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.ArrayIndexOutOfBoundsException: 10  at g..."

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

====================================================== 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.ExceptionHandlingTest testCallerHandler
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.ExceptionHandlingTest testCallerHandler 

====================================================== 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.ExceptionHandlingTest testEmptyHandler
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.ExceptionHandlingTest testEmptyHandler 

====================================================== 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.ExceptionHandlingTest testEmptyTryBlock
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.ExceptionHandlingTest testEmptyTryBlock 

====================================================== 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.ExceptionHandlingTest testStackTrace
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.ExceptionHandlingTest testStackTrace 

====================================================== search started: 13.1.11 16:14
	 at gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest.testStackTrace(gov\nasa\jpf\test\vm\basic\ExceptionHandlingTest.java:130)
	 at java.lang.reflect.Method.invoke(Native Method:-1)
	 at java.lang.reflect.Method.invoke(gov.nasa.jpf.jvm.JPF_java_lang_reflect_Method:-1)
	 at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(gov\nasa\jpf\util\test\TestJPF.java:474)
	 at gov.nasa.jpf.util.test.TestJPFHelper.main(gov\nasa\jpf\util\test\TestJPFHelper.java:51)

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

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

Testcase: testNPE took 1,32 sec
Testcase: testNPECall took 0,54 sec
Testcase: testArrayIndexOutOfBoundsLow took 0,34 sec
Testcase: testArrayIndexOutOfBoundsHigh took 0,4 sec
Testcase: testLocalHandler took 0,46 sec
Testcase: testCallerHandler took 0,31 sec
Testcase: testEmptyHandler took 0,39 sec
Testcase: testEmptyTryBlock took 0,29 sec
Testcase: testStackTrace took 0,37 sec
