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

====================================================== search started: 13.1.11 16:12
# executeInstruction: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testInstanceMethod (42.0,1)
# instructionExecuted: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testInstanceMethod (42.0,1)

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

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

====================================================== search started: 13.1.11 16:12
# executeInstruction: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testStaticMethod (42)
# instructionExecuted: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testStaticMethod (42)

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

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

====================================================== search started: 13.1.11 16:12
# executeInstruction: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testNativeInstanceMethod (42.0,1)
# instructionExecuted: gov.nasa.jpf.test.mc.basic.InvokeListenerTest@14c.testNativeInstanceMethod (42.0,1)

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

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

Testcase: testInstanceMethod took 1,4 sec
Testcase: testStaticMethod took 0,45 sec
Testcase: testNativeInstanceMethod took 0,43 sec
