Testsuite: gov.nasa.jpf.test.basic.HarnessTest
Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 3,24 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest recursive
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.basic.HarnessTest recursive 

====================================================== search started: 13.1.11 16:10
** this is low level API recursive - it should succeed

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest noViolation
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.basic.HarnessTest noViolation 

====================================================== search started: 13.1.11 16:10
** this is noViolation() - it should succeed

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest verifyAssert
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.basic.HarnessTest verifyAssert 

====================================================== search started: 13.1.11 16:10
** this is verifyAssert() - JPF should find an AssertionError

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError: wrong answer..
	at gov.nasa.jpf.test.basic.HarnessTest.verifyAssert(HarnessTest.java:34)
	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.AssertionError: wrong answer..  at gov.n..."

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest verifyNullPointerException
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.basic.HarnessTest verifyNullPointerException 

====================================================== search started: 13.1.11 16:10
** this is verifyNullPointerException() - JPF should find an NPE

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NullPointerException: Calling 'length()I' on null object
	at gov.nasa.jpf.test.basic.HarnessTest.verifyNullPointerException(HarnessTest.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.NullPointerException: Calling 'length()I..."

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest verifyRuntimeException
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.basic.HarnessTest verifyRuntimeException 

====================================================== search started: 13.1.11 16:10
** this is verifyRuntimeException() - JPF should find an unhandled exception

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: Bang!
	at gov.nasa.jpf.test.basic.HarnessTest.verifyRuntimeException(HarnessTest.java:58)
	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.RuntimeException: Bang!  at gov.nasa.jpf..."

====================================================== search finished: 13.1.11 16:10
  running jpf with args: +vm.class=InvalidVMClass +pass_exceptions gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.basic.HarnessTest verifyJPFExcept
[SEVERE] JPF configuration error: class not found InvalidVMClass by classloader: gov.nasa.jpf.JPFClassLoader@19a82ee
------------- ---------------- ---------------

Testcase: recursive took 1,35 sec
Testcase: noViolation took 0,46 sec
Testcase: verifyAssert took 0,56 sec
Testcase: verifyNullPointerException took 0,32 sec
Testcase: verifyRuntimeException took 0,46 sec
Testcase: verifyJPFExcept took 0,06 sec
