Testsuite: gov.nasa.jpf.test.vm.reflection.FieldTest
Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 3,34 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testInstanceInt
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.reflection.FieldTest testInstanceInt 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testStaticInt
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.reflection.FieldTest testStaticInt 

====================================================== search started: 13.1.11 16:15
statInt = 43

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testInstanceDouble
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.reflection.FieldTest testInstanceDouble 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testSetPrimitive
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.reflection.FieldTest testSetPrimitive 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testSetReference
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.reflection.FieldTest testSetReference 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.reflection.FieldTest testSetArray
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.reflection.FieldTest testSetArray 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
------------- ---------------- ---------------

Testcase: testInstanceInt took 1,32 sec
Testcase: testStaticInt took 0,48 sec
Testcase: testInstanceDouble took 0,42 sec
Testcase: testSetPrimitive took 0,32 sec
Testcase: testSetReference took 0,44 sec
Testcase: testSetArray took 0,31 sec
