Testsuite: gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 1,87 sec
------------- Standard Output ---------------
  running jpf with args: +cg.enumreate_cas=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest testStringField
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.java.concurrent.AtomicReferenceFieldUpdaterTest testStringField 

====================================================== search started: 13.1.11 16:10
one
two

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: +cg.enumreate_cas=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.concurrent.AtomicReferenceFieldUpdaterTest testByteArrayField
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.java.concurrent.AtomicReferenceFieldUpdaterTest testByteArrayField 

====================================================== search started: 13.1.11 16:10
[B@aa92
[B@aaad

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

====================================================== search finished: 13.1.11 16:10
------------- ---------------- ---------------

Testcase: testStringField took 1,35 sec
Testcase: testByteArrayField took 0,49 sec
