Testsuite: gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 2,46 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.listener.ExceptionInjector +ei.exception=ArithmeticException@gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest:38 gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest testAbsLine
java.lang.ArithmeticException@gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest:38
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.mc.basic.ExceptionInjectorTest testAbsLine 

====================================================== search started: 13.1.11 16:12
got it handled
java.lang.ArithmeticException
	at gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest.testAbsLine(ExceptionInjectorTest.java:38)
	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)

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.listener.ExceptionInjector +ei.exception=gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest$Zapp("gotcha")@gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest.testMethodOffset():6 gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest testMethodOffset
gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest$Zapp("gotcha")@gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest.testMethodOffset():6
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.mc.basic.ExceptionInjectorTest testMethodOffset 

====================================================== search started: 13.1.11 16:12
gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest$Zapp: gotcha

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.listener.ExceptionInjector +ei.exception=java.io.IOException@java.io.File.createTempFile(java.lang.String,java.lang.String) gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest testCallee
java.io.IOException@java.io.File.createTempFile(Ljava/lang/String;Ljava/lang/String;)
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.mc.basic.ExceptionInjectorTest testCallee 

====================================================== search started: 13.1.11 16:12
java.io.IOException
	at gov.nasa.jpf.test.mc.basic.ExceptionInjectorTest.testCallee(ExceptionInjectorTest.java:78)
	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)

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

====================================================== search finished: 13.1.11 16:12
------------- ---------------- ---------------

Testcase: testAbsLine took 1,51 sec
Testcase: testMethodOffset took 0,48 sec
Testcase: testCallee took 0,45 sec
