Testsuite: gov.nasa.jpf.test.mc.threads.DeadlockTest
Tests run: 7, Failures: 0, Errors: 0, Time elapsed: 4,12 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.DeadlockTest testLockOrderDeadlock
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.DeadlockTest testLockOrderDeadlock 

====================================================== search started: 13.1.11 16:13
t1 finished
t2 finished
t1 finished
t2 finished

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$1@15f,priority=5,lockCount=0,suspendCount=0
  thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@171,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$2@175,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$1@15f,priority=5,lockCount=0,suspendCount=0
  owned locks:java.lang.Object@14c
  blocked on: java.lang.Object@14d
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$1.run(DeadlockTest.java:173)

thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@171,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$2@175,priority=5,lockCount=0,suspendCount=0
  owned locks:java.lang.Object@14d
  blocked on: java.lang.Object@14c
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$2.run(DeadlockTest.java:185)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$3@15f,priority=5,lockCount=1,suspendCount=0
  thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@171,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$4@175,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=WAITING,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$3@15f,priority=5,lockCount=1,suspendCount=0
  owned locks:java.lang.Object@14e
  waiting on: java.lang.Object@14f
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$3.run(DeadlockTest.java:213)

thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@171,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$4@175,priority=5,lockCount=0,suspendCount=0
  owned locks:java.lang.Object@14f
  blocked on: java.lang.Object@14e
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$4.run(DeadlockTest.java:228)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

====================================================== search started: 13.1.11 16:13
t2 finished
t1 finished
t2 finished
t2 finished

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$5@15f,priority=5,lockCount=1,suspendCount=0
  thread index=2,name=Thread-1,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=WAITING,this=java.lang.Thread@15b,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$5@15f,priority=5,lockCount=1,suspendCount=0
  waiting on: java.lang.Object@14f
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$5.run(DeadlockTest.java:251)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.DeadlockTest$FirstTask@163,priority=5,lockCount=1,suspendCount=0
  thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.DeadlockTest$SecondTask@178,priority=5,lockCount=1,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.DeadlockTest$FirstTask@163,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.DeadlockTest$Event@15e
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$Event.wait_for_event(DeadlockTest.java:59)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$FirstTask.run(DeadlockTest.java:84)

thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.DeadlockTest$SecondTask@178,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.DeadlockTest$Event@15f
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$Event.wait_for_event(DeadlockTest.java:59)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SecondTask.run(DeadlockTest.java:114)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@166,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@165,priority=5,lockCount=0,suspendCount=0
  thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@178,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@166,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@165,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@165
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.run(DeadlockTest.java:138)

thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@178,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@165
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.doSomething(DeadlockTest.java:125)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable.run(DeadlockTest.java:155)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@163,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@161,priority=5,lockCount=0,suspendCount=0
  thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@175,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@162,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@163,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@161,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@161
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@162
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.doSomething(DeadlockTest.java:125)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.run(DeadlockTest.java:138)

thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@175,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@162,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@162
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable@161
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.doSomething(DeadlockTest.java:125)
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncBlockRunnable.run(DeadlockTest.java:138)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@163,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161,priority=5,lockCount=0,suspendCount=0
  thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@175,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@162,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=BLOCKED,this=java.lang.Thread@163,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@162
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable.run(DeadlockTest.java:155)

thread index=2,name=Thread-1,status=BLOCKED,this=java.lang.Thread@175,target=gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@162,priority=5,lockCount=0,suspendCount=0
  owned locks:gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@162
  blocked on: gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable@161
  call stack:
	at gov.nasa.jpf.test.mc.threads.DeadlockTest$SyncMthRunnable.run(DeadlockTest.java:155)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

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

Testcase: testLockOrderDeadlock took 1,42 sec
Testcase: testNestedMonitorLockoutDeadlock took 0,5 sec
Testcase: testSimpleMissedSignal took 0,46 sec
Testcase: testMissedSignalDeadlock took 0,46 sec
Testcase: testMixedDeadlock took 0,45 sec
Testcase: testSyncBlockDeadlock took 0,45 sec
Testcase: testSyncMthDeadlock took 0,34 sec
