Testsuite: gov.nasa.jpf.test.mc.basic.MethodListenerTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 2,09 sec
------------- Standard Output ---------------
  running jpf with args: +listener=gov.nasa.jpf.test.mc.basic.MethodListenerTest$Listener +_start=testBasicInvocation gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.MethodListenerTest testBasicInvocation
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.MethodListenerTest testBasicInvocation 

====================================================== search started: 13.1.11 16:12
> testBasicInvocation
  > foo
    > bar
    < bar
  < foo
< testBasicInvocation

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=gov.nasa.jpf.test.mc.basic.MethodListenerTest$Listener +_start=testException gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.MethodListenerTest testException
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.MethodListenerTest testException 

====================================================== search started: 13.1.11 16:12
> testException
  > baz
    > blowUp
X java.lang.RuntimeException
    < blowUp
  < baz
< testException

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

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

Testcase: testBasicInvocation took 1,52 sec
Testcase: testException took 0,54 sec
