Testsuite: gov.nasa.jpf.test.mc.basic.SharedRefTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 3,38 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.SharedRefTest testShared
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.SharedRefTest testShared 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError: Argh, data race for o
	at gov.nasa.jpf.test.mc.basic.SharedRefTest.run(SharedRefTest.java:52)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@15d,target=gov.nasa.jpf.test.mc.basic.SharedRefTest@15e,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.basic.SharedRefTest.run(SharedRefTest.java:52)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@170,target=gov.nasa.jpf.test.mc.basic.SharedRefTest@171,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.basic.SharedRefTest.run(SharedRefTest.java:52)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.AssertionError: Argh, data race for o  a..."

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

====================================================== search started: 13.1.11 16:13

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

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

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError: Argh, data race for o
	at gov.nasa.jpf.test.mc.basic.SharedRefTest.run(SharedRefTest.java:52)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@15c,target=gov.nasa.jpf.test.mc.basic.SharedRefTest@14c,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.basic.SharedRefTest.run(SharedRefTest.java:52)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.AssertionError: Argh, data race for o  a..."

====================================================== search finished: 13.1.11 16:13
------------- ---------------- ---------------

Testcase: testShared took 2,16 sec
Testcase: testNonShared took 0,71 sec
Testcase: testSharedStaticRoot took 0,48 sec
