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

====================================================== 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.MethodTest testCall
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.MethodTest testCall 

====================================================== 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.MethodTest testInheritedCall
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.MethodTest testInheritedCall 

====================================================== 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.MethodTest testVirtualCall
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.MethodTest testVirtualCall 

====================================================== 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.MethodTest testSpecialCall
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.MethodTest testSpecialCall 

====================================================== 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.MethodTest testStaticCall
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.MethodTest testStaticCall 

====================================================== 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.MethodTest testInterfaceCall
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.MethodTest testInterfaceCall 

====================================================== 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.MethodTest testCallAcrossGC
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.MethodTest testCallAcrossGC 

====================================================== search started: 13.1.11 16:14
testing virtual calls on GC boundaries

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

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

Testcase: testCtor took 1,33 sec
Testcase: testCall took 0,46 sec
Testcase: testInheritedCall took 0,43 sec
Testcase: testVirtualCall took 0,42 sec
Testcase: testSpecialCall took 0,4 sec
Testcase: testStaticCall took 0,4 sec
Testcase: testInterfaceCall took 0,41 sec
Testcase: testCallAcrossGC took 0,43 sec
