Testsuite: gov.nasa.jpf.test.mc.threads.AtomicTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 2,43 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.AtomicTest testNoRace
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.threads.AtomicTest testNoRace 

====================================================== 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.threads.AtomicTest testDataCG
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.threads.AtomicTest testDataCG 

====================================================== 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.threads.AtomicTest testBlockedInAtomic
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.threads.AtomicTest testBlockedInAtomic 

====================================================== search started: 13.1.11 16:13
main going atomic, holding r lock
main waiting on r

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
blocked in atomic section:
  ATOMIC thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=1,suspendCount=0
  thread index=1,name=Thread-0,status=UNBLOCKED,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.AtomicTest$3@15a,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.AtomicTest$3@15a
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.AtomicTest.testBlockedInAtomic(AtomicTest.java:97)
	at java.lang.reflect.Method.invoke(Method.java:-1)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)

thread index=1,name=Thread-0,status=UNBLOCKED,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.AtomicTest$3@15a,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.AtomicTest$3.run(AtomicTest.java:83)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "blocked in atomic section:    ATOMIC thread index=..."

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

Testcase: testNoRace took 1,39 sec
Testcase: testDataCG took 0,52 sec
Testcase: testBlockedInAtomic took 0,49 sec
