Testsuite: gov.nasa.jpf.test.mc.basic.AttrsTest
Tests run: 11, Failures: 0, Errors: 0, Time elapsed: 5,39 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.test.mc.basic.AttrsTest$IntListener gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testIntPropagation
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.AttrsTest testIntPropagation 

====================================================== search started: 13.1.11 16:12
'i' attribute set to: "the answer to the ultimate question of life, the universe, and everything"
'j' attribute: 42
@ 'j' attribute after assignment: 42

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

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

====================================================== search started: 13.1.11 16:12
'r' attribute: 42
@ 'r' attribute after assignment: 42

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

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

====================================================== search started: 13.1.11 16:12
listener notified of: goNative(), attributes= 1,2,3
@ 'result' attribute: 6
listener notified of: goModel(), attributes= 1,2,3

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testNativeMethod
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.AttrsTest testNativeMethod 

====================================================== search started: 13.1.11 16:12
@ 'result' attribute: 6

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testExplicitRef
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.AttrsTest testExplicitRef 

====================================================== search started: 13.1.11 16:12
@ 'iDouble' attribute before set: 0
@ 'iDouble' attribute after set: 42

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testExplicitArrayRef
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.AttrsTest testExplicitArrayRef 

====================================================== search started: 13.1.11 16:12
@ 'myArray[5]' attribute before set: 0
@ 'myArray[5]' attribute after set: 42

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest 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.mc.basic.AttrsTest testArraycopy 

====================================================== search started: 13.1.11 16:12

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testArrayPropagation
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.AttrsTest testArrayPropagation 

====================================================== search started: 13.1.11 16:12
@ a2[0] : 42

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testBacktrack
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.AttrsTest testBacktrack 

====================================================== search started: 13.1.11 16:12
false
42
-1
true
42
-1

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testInteger
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.AttrsTest testInteger 

====================================================== search started: 13.1.11 16:12

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.AttrsTest testObjectAttr
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.AttrsTest testObjectAttr 

====================================================== search started: 13.1.11 16:12
object attr = 42
object attr = 42

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

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

Testcase: testIntPropagation took 1,43 sec
Testcase: testDoublePropagation took 0,5 sec
Testcase: testInvokeListener took 0,47 sec
Testcase: testNativeMethod took 0,35 sec
Testcase: testExplicitRef took 0,45 sec
Testcase: testExplicitArrayRef took 0,31 sec
Testcase: testArraycopy took 0,42 sec
Testcase: testArrayPropagation took 0,33 sec
Testcase: testBacktrack took 0,31 sec
Testcase: testInteger took 0,45 sec
Testcase: testObjectAttr took 0,3 sec
