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

====================================================== 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.ArrayTest test2DStringArray
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.ArrayTest test2DStringArray 

====================================================== 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.ArrayTest testAoBX
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.ArrayTest testAoBX 

====================================================== 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.ArrayTest testArrayStoreException
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.ArrayTest testArrayStoreException 

====================================================== 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.ArrayTest testArrayStoreExceptionArraycopy
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.ArrayTest testArrayStoreExceptionArraycopy 

====================================================== 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.ArrayTest testCharArray
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.ArrayTest testCharArray 

====================================================== 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.ArrayTest testIntArray
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.ArrayTest testIntArray 

====================================================== 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.ArrayTest testStringArray
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.ArrayTest testStringArray 

====================================================== 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.ArrayTest testArrayCopy
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.ArrayTest testArrayCopy 

====================================================== search started: 13.1.11 16:14

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

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

Testcase: test2DArray took 1,33 sec
Testcase: test2DStringArray took 0,46 sec
Testcase: testAoBX took 0,43 sec
Testcase: testArrayStoreException took 0,31 sec
Testcase: testArrayStoreExceptionArraycopy took 0,42 sec
Testcase: testCharArray took 0,41 sec
Testcase: testIntArray took 0,3 sec
Testcase: testStringArray took 0,38 sec
Testcase: testArrayCopy took 0,4 sec
